An Alternative to SAT-Based Approaches for Bit-Vectors
Authors:
- 1 January 2010
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 84-98
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays2009
- The MathSAT 4 SMT Solver2008
- Structural Testing of Executables2008
- A Decision Procedure for Bit-Vectors and Arrays2007
- EXE2006
- A Tool for Checking ANSI-C Programs2004
- Code-Based Test Generation for Validation of Functional Processor Descriptions2003
- Symbolic Model Checking without BDDs1999
- Theory and practice of constraint handling rulesThe Journal of Logic Programming, 1998
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints1977