PRECiSA

swMATH38041MaRDI QIDQ53741FDOQ53741

Author name not available (Why is that?)

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
• Rigorous roundoff error analysis of probabilistic floating-point computations
• RangeLab
• Daisy

This page was built for software: PRECiSA