PRECiSA

MaRDI QIDQ53741swMATHFDO

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)

• Formal analysis of the compact position reporting algorithm
• Exploiting verified neural networks via floating point numerical error
• Cseq
• FunArray
• FPTuner
• RangeLab
• Daisy
• Rigorous roundoff error analysis of probabilistic floating-point computations

This page was built for software: PRECiSA