A Decision Procedure for Bit-Vectors and Arrays
No abstract available.
Related papers
- An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors CAV 1997
- Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays TACAS 2009
- Data-Driven Verification of Procedural Programs with Integer Arrays CAV 2025
- Satisfiability Modulo Finite Fields CAV 2023
- Monadic second-order logic on finite sequences POPL 2017
- Improving Haskell types with SMT Haskell 2015
- Decision Procedures for Flat Array Properties TACAS 2014
- Decision Procedure for Entailment of Symbolic Heaps with Arrays APLAS 2017