A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis
No abstract available.
Related papers
- VCFloat2: Floating-Point Error Analysis in Coq CPP 2024
- Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations CAV 2021
- Numerical Fuzz: A Type System for Rounding Error Analysis PLDI 2024
- A Compiler for Sound Floating-Point Computations using Affine Arithmetic CGO 2022
- Bean: A Language for Backward Error Analysis PLDI 2025
- Thinking Fast and Correct: Automated Rewriting of Numerical Code through Compiler Augmentation CGO 2026
- Exploiting Verified Neural Networks via Floating Point Numerical Error SAS 2021
- A unified Coq framework for verifying C programs with floating-point computations CPP 2016