Fast Three-Valued Abstract Bit-Vector Arithmetic
Abstract elided by the publisher.
Related papers
- Deciding Bit-Vector Arithmetic with Abstraction TACAS 2007
- Matching Multiplications in Bit-Vector Formulas VMCAI 2017
- Implementing Bit-addressing with Specialization ICFP 1997
- Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic CAV 2009
- Scalable Bit-Blasting with Abstractions CAV 2024
- Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic TACAS 2020
- Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs ESOP 2015
- Fast splittable pseudorandom number generators OOPSLA 2014