Deciding Fixed and Non-fixed Size Bit-vectors
Abstract elided by the publisher.
Related papers
- An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors CAV 1997
- Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs ESOP 2015
- Scalable Bit-Blasting with Abstractions CAV 2024
- Bitwuzla CAV 2023
- Deciding Bit-Vector Arithmetic with Abstraction TACAS 2007
- Regular Expression Matching using Bit Vector Automata OOPSLA 2023
- How Many Bits Does it Take to Quantize Your Neural Network? TACAS 2020
- An improved bound for call strings based interprocedural analysis of bit vector frameworks TOPLAS 2007