Keyphrases
- source code
- model checking
- temporal logic
- open source
- software systems
- formal verification
- model checker
- temporal properties
- formal specification
- automated verification
- symbolic model checking
- software maintenance
- static analysis
- computation tree logic
- verification method
- epistemic logic
- software projects
- transition systems
- formal methods
- software repositories
- high level
- database systems
- text files
- bounded model checking
- plagiarism detection
- software evolution
- modal logic
- general purpose
- source files
- bug localization
- program understanding
- domain independent
- database design
- knowledge representation
- alternating time temporal logic