PRECiSA

swMATH38041MaRDI QIDQ53741FDOQ53741

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-73721-8_24

Described by source

• An abstract interpretation framework for the round-off error analysis of floating-point programs

Cited in

(8)

• Cseq
• FunArray
• FPTuner
• RangeLab
• Daisy
• 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