ESBMC 5.0: an industrial-strength C model checker.

Mikhail Y. R. Gadelha Felipe R. Monteiro Jeremy Morse Lucas C. Cordeiro Bernd Fischer Denis A. Nicole

Published 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