collaborators

1 paper

cs.PL2021

Deductive Verification of Floating-Point Java Programs in KeY

Rosa Abbasi Boroujeni, Jonas Schiffl, Eva Darulova +2

Deductive verification has been successful in verifying interesting properties of real-world programs. One notable gap is the limited support for floating-point reasoning. This is…