Deciding Bit-Vector Arithmetic with Abstraction
Abstract elided by the publisher.
Related papers
- Fast Three-Valued Abstract Bit-Vector Arithmetic VMCAI 2022
- Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs ESOP 2015
- Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic CAV 2009
- Scalable Bit-Blasting with Abstractions CAV 2024
- Deciding Fixed and Non-fixed Size Bit-vectors TACAS 1998
- Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic TACAS 2020
- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors CAV 2019
- Matching Multiplications in Bit-Vector Formulas VMCAI 2017