ESBMC 5.0: an industrial-strength C model checker.
Mikhail Y. R. GadelhaFelipe R. MonteiroJeremy MorseLucas C. CordeiroBernd FischerDenis A. NicolePublished in: ASE (2018)
Keyphrases
- industrial strength
- model checker
- model checking
- formal verification
- formal methods
- description language
- temporal logic
- formal specification
- symbolic model checking
- set theory
- test suite
- text mining
- ai planning
- specification language
- web services
- image processing
- web service composition
- relational databases
- planning domains
- software architecture
- test cases
- gray scale
- knowledge discovery
- knowledge base