FrankenBit: Bit-Precise Verification with Many Bits - (Competition Contribution)
No abstract available.
Related papers
- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) TACAS 2021
- satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution) TACAS 2012
- CPAchecker 2.3 with Strategy Selection - (Competition Contribution) TACAS 2024
- 2LS: Memory Safety and Non-termination - (Competition Contribution) TACAS 2018
- Bit-Precise Interpolation in Bitwuzla TACAS 2026
- A Bit Too Precise? Bounded Verification of Quantized Digital Filters TACAS 2012
- Massively Parallel Bit-Precise Verification with Bitwuzla and Mallob TACAS 2026
- How Many Bits Does it Take to Quantize Your Neural Network? TACAS 2020