Towards Security Vulnerability Detection by Source Code Model Checking.
Keqin LiPublished in: ICST Workshops (2010)
Keyphrases
- source code
- model checking
- temporal logic
- open source
- software systems
- formal verification
- software maintenance
- temporal properties
- automated verification
- software projects
- formal specification
- static analysis
- model checker
- bounded model checking
- computation tree logic
- transition systems
- verification method
- symbolic model checking
- timed automata
- epistemic logic
- high level
- information security
- artificial intelligence
- software repositories
- software evolution
- formal methods
- plagiarism detection
- malware detection
- case study
- program understanding
- visual basic
- text files
- life cycle
- data model
- source files
- data structure
- alternating time temporal logic