Deciding Bit-Vector Arithmetic with Abstraction

This publication has 10 references indexed in Scilit:

• EXE
  Published by Association for Computing Machinery (ACM) ,2006
• Scalable error detection using boolean satisfiability
  Published by Association for Computing Machinery (ACM) ,2005
• Cogent: Accurate Theorem Proving for Program Verification
  Published by Springer Nature ,2005
• An efficient finite-domain constraint solver for circuits
  Published by Association for Computing Machinery (ACM) ,2004
• Iterative abstraction using SAT-based BMC with proof analysis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• Abstraction-Based Satisfiability Solving of Presburger Arithmetic
  Published by Springer Nature ,2004
• RTL-datapath verification using integer linear programming
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Automatic Abstraction without Counterexamples
  Published by Springer Nature ,2003
• Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques
  Published by Association for Computing Machinery (ACM) ,2000
• An efficient decision procedure for the theory of fixed-sized bit-vectors
  Published by Springer Nature ,1997