Model checking C source code for embedded systems.
Bastian SchlichStefan KowalewskiPublished in: Int. J. Softw. Tools Technol. Transf. (2009)
Keyphrases
- embedded systems
- source code
- model checking
- software systems
- temporal logic
- open source
- low cost
- formal verification
- model checker
- formal specification
- software maintenance
- software projects
- epistemic logic
- real time systems
- formal methods
- software evolution
- computation tree logic
- verification method
- bounded model checking
- static analysis
- software architecture
- high level
- metamodel
- software components
- software repositories
- computational intelligence
- real time
- alternating time temporal logic
- design patterns
- real world