Software model checking: extracting verification models from source code.
Gerard J. HolzmannMargaret H. SmithPublished in: Softw. Test. Verification Reliab. (2001)
Keyphrases
- model checking
- source code
- formal verification
- software systems
- temporal logic
- software maintenance
- program slicing
- open source
- automated verification
- verification method
- model checker
- software projects
- formal specification
- open source software
- software evolution
- software engineers
- reactive systems
- symbolic model checking
- static analysis
- mining software repositories
- bug localization
- bounded model checking
- automated tools
- source code metrics
- open source projects
- computation tree logic
- program understanding
- formal methods
- free software
- symbolic execution
- concurrent systems
- linear temporal logic
- version control
- software repositories
- high level
- source files
- legacy systems
- impact analysis
- modal logic
- alternating time temporal logic
- asynchronous circuits
- mailing lists
- maintenance activities
- software quality
- software engineering