A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm

Jul 15, 2018·

Laura Titolo

,

Mariano M. Moscato

,

Cesar A. Muñoz

,

Aaron Dutle

,

And François Bobot

· 0 min read

Type

Publication

In Proceedings of the 22nd International Symposium on Formal Methods (FM 2018)

Last updated on Jul 15, 2018

← Eliminating Unstable Tests in Floating-Point Programs Sep 22, 2018

An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs Jan 7, 2018 →