CPROVER Manual TOC

SATABS – Predicate Abstraction with SAT

Tutorials

We provide an introduction to model checking "real" C programs with SATABS using two small examples: