Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking.
Jesse McGeachieJürgen DingelPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- source code
- model checking
- code examples
- temporal logic
- model checker
- open source
- software systems
- process algebra
- programs written
- formal verification
- linear temporal logic
- symbolic model checking
- verification method
- formal specification
- visual basic
- automated verification
- software projects
- software maintenance
- bounded model checking
- specification language
- computation tree logic
- high level
- natural language
- software evolution
- static analysis
- programming language
- epistemic logic
- formal methods
- written in natural language
- database applications
- software repositories
- multi agent systems
- software artifacts
- description language
- modeling language
- source files
- database