Login / Signup
CBMC - C Bounded Model Checker - (Competition Contribution).
Daniel Kroening
Michael Tautschnig
Published in:
TACAS (2014)
Keyphrases
</>
model checker
model checking
formal verification
formal methods
description language
temporal logic
formal specification
symbolic model checking
set theory
test suite
ai planning
partial order
specification language
binary decision diagrams
machine learning
software architecture