Using DEv-PROMELA for Modelling and Verification of Software.
Aznam YacoubMaâmar El-Amine HamriClaudia S. FrydmanPublished in: SIGSIM-PADS (2016)
Keyphrases
- iso iec
- software development
- software package
- model checking
- software systems
- software design
- database
- source code
- software developers
- computer systems
- open source
- formal methods
- software evolution
- data sets
- static analysis
- software quality
- high assurance
- data flow
- software tools
- software components
- development process
- motion estimation
- face recognition
- e learning
- artificial intelligence
- databases