VerCors: A Layered Approach to Practical Verification of Concurrent Software.
Afshin AmighiStefan BlomMarieke HuismanPublished in: PDP (2016)
Keyphrases
- software development
- software systems
- model checking
- software design
- user interface
- formal methods
- commercial software
- software architecture
- real time
- face verification
- software tools
- personal computer
- software application
- software platform
- case study
- database
- asynchronous circuits
- mutual exclusion
- formal verification
- design concepts
- high assurance
- industrial strength
- analysis tool
- software package
- software projects
- practical application
- software components
- development process
- open source
- programming language
- genetic algorithm
- real world
- neural network