Daisy

swMATH40595MaRDI QIDQ56295FDOQ56295

Author name not available (Why is that?)

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

Cited In (2)

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

This page was built for software: Daisy