QED: a proof system based on reduction and abstraction for the static verification of concurrent software.
Tayfun ElmasPublished in: ICSE (2) (2010)
Keyphrases
- hardware designs
- software development
- model checker
- formal verification
- software design
- software architecture
- model checking
- formal methods
- computer systems
- software tools
- test suite
- neural network
- design patterns
- development process
- software systems
- case study
- software developers
- source code
- face verification
- static analysis
- software engineering
- software package
- face recognition
- dynamic analysis
- high level
- bounded model checking
- concurrent processes