SMT-Based Bounded Model Checking for Embedded ANSI-C Software.
Lucas C. CordeiroBernd FischerJoão Marques-SilvaPublished in: IEEE Trans. Software Eng. (2012)
Keyphrases
- bounded model checking
- embedded systems
- formal verification
- control software
- computer systems
- software systems
- model checking
- temporal logic
- software tools
- linear temporal logic
- cooperative
- software architecture
- knowledge base
- software components
- markov chain
- software maintenance
- data flow
- software development
- general purpose