The Blast Query Language for Software Verification
Abstract elided by the publisher.
Related papers
- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver CAV 2021
- Performance of Runtime Optimization on BLAST CGO 2005
- Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs CAV 2023
- Scalable Bit-Blasting with Abstractions CAV 2024
- Building Better Bit-Blasting for Floating-Point Problems TACAS 2019
- Interactive Bitvector Reasoning using Verified Bit-Blasting OOPSLA 2025
- A Real-Blasting Extension of cvc5 for Reasoning About Floating-Point Arithmetic VMCAI 2025
- Predicate Analysis with BLAST 2.7 - (Competition Contribution) TACAS 2012