A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT
No abstract available.
Related papers
- Deductive Verification of Floating-Point Java Programs in KeY TACAS 2021
- Scalable Floating-Point Satisfiability via Staged Optimization PLDI 2026
- Solving Floating-Point Constraints with Continuous Optimization PLDI 2025
- SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories PLDI 2024
- A Real-Blasting Extension of cvc5 for Reasoning About Floating-Point Arithmetic VMCAI 2025
- On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure CAV 2009
- Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers Haskell 2024
- VCFloat2: Floating-Point Error Analysis in Coq CPP 2024