A Tool for Checking ANSI-C Programs
No abstract available.
Related papers
- Bug-Assist: Assisting Fault Localization in ANSI-C Programs CAV 2011
- A Programmable ANSI C Transformation Engine CC 1999
- SATABS: SAT-Based Predicate Abstraction for ANSI-C TACAS 2005
- Implementation of the memory-safe full ANSI-C compiler PLDI 2009
- CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations CC 2014
- Optimizing an ANSI C Interpreter with Superoperators POPL 1995
- A History of C++: 1979-1991 HOPL 1993
- Consistency-Based Software Diagnosis: Accuracy, Scalability, and Limitations CAV 2026