SatAbs: A Bit-Precise Verifier for C Programs - (Competition Contribution)

Gérard Basler; Alastair F. Donaldson; Alexander Kaiser; Daniel Kroening; Michael Tautschnig; Thomas Wahl

Venue

18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12)

Publication Year

2012

Authors

Gérard Basler, Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl

BibTeX

SatAbs: A Bit-Precise Verifier for C Programs - (Competition Contribution)

Abstract

SatAbs is a bit-precise software model checker for ANSI-C programs. It implements sound predicate-abstraction based algorithms for both sequential and concurrent software.

Alastair F. Donaldson / Multicore Programming Group

Department of Computing, Imperial College London

Publication

SatAbs: A Bit-Precise Verifier for C Programs - (Competition Contribution)

Abstract