A Java code annotation approach for model checking software systems.
Glauber FerreiraEmerson LoureiroElthon A. S. OliveiraPublished in: SAC (2007)
Keyphrases
- software systems
- model checking
- java code
- source code
- temporal logic
- open source
- formal verification
- software developers
- development tools
- software components
- model checker
- formal methods
- software engineering
- formal specification
- verification method
- software projects
- software architecture
- static analysis
- metamodel
- software development
- computation tree logic
- software testing
- embedded systems
- alternating time temporal logic
- high level
- description language
- domain specific
- machine learning