PRECiSA

swMATH38041MaRDI QIDQ53741

No author found.

Described by source

• An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs

Related Items (3)

Rigorous roundoff error analysis of probabilistic floating-point computations ⋮ Exploiting verified neural networks via floating point numerical error ⋮ Formal analysis of the compact position reporting algorithm

This page was built for software: PRECiSA