Software Model Checking without Source Code.
Sagar ChakiJames IversPublished in: NASA Formal Methods (2009)
Keyphrases
- source code
- model checking
- temporal logic
- software systems
- open source
- software maintenance
- software projects
- open source software
- software evolution
- formal verification
- formal specification
- mining software repositories
- free software
- static analysis
- symbolic model checking
- verification method
- program understanding
- bounded model checking
- model checker
- open source projects
- bug localization
- computation tree logic
- maintenance activities
- software repositories
- formal methods
- program comprehension
- epistemic logic
- execution traces
- object oriented systems
- source files
- reactive systems
- legacy systems
- version control
- program slicing
- mailing lists
- software engineers
- text files
- software design
- high level
- software development