Verifying Floating-Point Programs in Stainless
Abstract elided by the publisher.
Related papers
- Exploiting Verified Neural Networks via Floating Point Numerical Error SAS 2021
- The pitfalls of verifying floating-point computations TOPLAS 2008
- Verifying bit-manipulations of floating-point PLDI 2016
- A unified Coq framework for verifying C programs with floating-point computations CPP 2016
- System FR: formalized foundations for the stainless verifier OOPSLA 2019
- A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs CAV 2025
- Verified Compilation and Optimization of Floating-Point Programs in CakeML ECOOP 2022
- Deductive Verification of Floating-Point Java Programs in KeY TACAS 2021