Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL
No abstract available.
Related papers
- Automatic Verification of Floating-Point Accumulation Networks CAV 2025
- A Two-Phase Approach for Conditional Floating-Point Verification TACAS 2021
- Deductive Verification of Floating-Point Java Programs in KeY TACAS 2021
- Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables SAS 2010
- Verifying Low-Dimensional Input Neural Networks via Input Quantization SAS 2021
- Verification of Floating-Point Adders CAV 1998
- Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM SAS 2016
- Exploiting Verified Neural Networks via Floating Point Numerical Error SAS 2021