An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
From MaRDI portal
Publication:3296349
DOI10.1007/978-3-319-73721-8_24zbMath1446.68036OpenAlexW2778880616MaRDI QIDQ3296349
Laura Titolo, Marco A. Feliú, César A. Muñoz, Mariano M. Moscato
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
Roundoff error (65G50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (7)
Rigorous roundoff error analysis of probabilistic floating-point computations ⋮ Exploiting verified neural networks via floating point numerical error ⋮ Formal analysis of the application programming interface of the PVS verification system ⋮ Bit-precise verification of discontinuity errors under fixed-point arithmetic ⋮ Runtime abstract interpretation for numerical accuracy and robustness ⋮ Formal analysis of the compact position reporting algorithm ⋮ PRECiSA
Uses Software
This page was built for publication: An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
