An abstract interpretation framework for the round-off error analysis of floating-point programs
DOI10.1007/978-3-319-73721-8_24zbMATH Open1446.68036OpenAlexW2778880616MaRDI QIDQ3296349FDOQ3296349
Authors: Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César Muñoz 
Publication date: 7 July 2020
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2060/20180006290
Recommendations
Roundoff error (65G50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cited In (15)
- Title not available (Why is that?)
- Runtime abstract interpretation for numerical accuracy and robustness
- Bit-precise verification of discontinuity errors under fixed-point arithmetic
- Formal analysis of the compact position reporting algorithm
- Title not available (Why is that?)
- Certified roundoff error bounds using semidefinite programming
- Algorithm 1029: encapsulated error, a direct approach to evaluate floating-point accuracy
- Exploiting verified neural networks via floating point numerical error
- Formal analysis of the application programming interface of the PVS verification system
- Rigorous roundoff error analysis of probabilistic floating-point computations
- PRECiSA
- Synthesis of Rigorous Floating-Point Predicates
- Programming Languages and Systems
- Formally verified roundoff errors using SMT-based certificates and subdivisions
- Provably correct floating-point implementation of a point-in-polygon algorithm
Uses Software
This page was built for publication: An abstract interpretation framework for the round-off error analysis of floating-point programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3296349)
