 |
Predicate Abstaction with SAT for ANSI-C |
|
About -- Download -- Examples -- Documentation
SATABS Documentation
From a user's point of view, the SATABS manual gives a tutorial and
describes what properties are checked. We also provide papers that
describe how SATABS works.
SATABS Publications