most citedVerifying Floating-Point Programs in Stainless

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

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…