SATABS: SAT-Based Predicate Abstraction for ANSI-C
Abstract elided by the publisher.
Related papers
- Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs CAV 2011
- satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution) TACAS 2012
- DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories TACAS 2024
- Bug-Assist: Assisting Fault Localization in ANSI-C Programs CAV 2011
- A Tool for Checking ANSI-C Programs TACAS 2004
- A Programmable ANSI C Transformation Engine CC 1999
- Implementation of the memory-safe full ANSI-C compiler PLDI 2009
- CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations CC 2014