Predicate Abstaction with SAT for ANSI-C

About -- Download -- Examples -- Documentation

SATABS Examples Loop detection: AEON 0.2a Tutorial: A toy driver for Linux SSH Control Flow Properties SNU Real Time Benchmarks

You should also have a look at our collection of Boolean Programs.