Verifying Floating-Point Programs in Stainless.

Andrea Gilot, Axel Bergstrm, Eva Darulova

Browse the full TACAS paper archive.