A Decision Procedure for Bit-Vectors and Arrays

This publication has 10 references indexed in Scilit:

• Deciding Bit-Vector Arithmetic with Abstraction
  Published by Springer Nature ,2007
• A Fast Linear-Arithmetic Solver for DPLL(T)
  Published by Springer Nature ,2006
• The UCLID Decision Procedure
  Published by Springer Nature ,2004
• DPLL(T): Fast Decision Procedures
  Published by Springer Nature ,2004
• A decision procedure for an extensional theory of arrays
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• CVC: A Cooperating Validity Checker
  Published by Springer Nature ,2002
• Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques
  Published by Association for Computing Machinery (ACM) ,2000
• A Decision Procedure for Bit-Vector Arithmetic
  Published by Defense Technical Information Center (DTIC) ,1998
• Validity checking for combinations of theories with equality
  Published by Springer Nature ,1996
• Simplification by Cooperating Decision Procedures
  ACM Transactions on Programming Languages and Systems, 1979