Saturn: A SAT-Based Tool for Bug Detection
Authors:
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 139-143
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- A Tool for Checking ANSI-C Programs2004
- Checking and inferring local non-aliasing2003
- Software Verification with BLAST2003
- A system and language for building system-specific, static analyses2002
- Flow-sensitive type qualifiers2002
- CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs2002
- Lazy abstraction2002
- Automatically validating temporal safety properties of interfaces2001
- Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions2000
- Finding bugs with a constraint solver2000