63 citations · 83 across the 11 of their papers we have counts for
Showing 2026 · cs.PLShow all
2 papers · 2 filters
cs.PL2026
Metamorphic Testing for Floating-Point Performance Issues in SMT Solvers
Rosa Abbasi, Eva Darulova
SMT solvers are essential in various domains, including program verification and synthesis. Although their correctness and performance have been extensively studied, performance te…
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…