1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.PL2026★ 1 cited
Verifying Floating-Point Programs in Stainless
Andrea Gilot, Axel Bergström, Eva Darulova
We extend the Stainless deductive verifier with floating-point support, providing the first automated verification support for floating-point numbers for a subset of Scala that inc…
cs.PL2025
Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
Andrea Gilot, Tobias Wrigstad, Eva Darulova
Reasoning about floating-point arithmetic is notoriously hard. While static and dynamic analysis techniques or program repair have made significant progress, more work is still nee…