Daisy

MaRDI QIDQ56295swMATHFDO

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

This page was built for software: Daisy