Verification of Floating-Point Adders
No abstract available.
Related papers
- Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM SAS 2016
- Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL SAS 2013
- Deductive Verification of Floating-Point Java Programs in KeY TACAS 2021
- A Two-Phase Approach for Conditional Floating-Point Verification TACAS 2021
- Exploiting Verified Neural Networks via Floating Point Numerical Error SAS 2021
- Automatic Verification of Floating-Point Accumulation Networks CAV 2025
- A unified Coq framework for verifying C programs with floating-point computations CPP 2016
- VCFloat2: Floating-Point Error Analysis in Coq CPP 2024