Daisy

swMATH40595MaRDI QIDQ56295FDOQ56295

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-319-89960-2_15

Source code repository: https://github.com/malyzajko/daisy

Cited In (6)

• Deductive verification of floating-point Java programs in KeY
• FunArray
• FPTuner
• Rigorous roundoff error analysis of probabilistic floating-point computations
• PRECiSA
• RangeLab

This page was built for software: Daisy