An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs

Jan 7, 2018·

Laura Titolo

,

Marco A. Feliu

,

Mariano M. Moscato

,

And Cesar A. Muñoz

· 0 min read

Type

Publication

In Proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2018)

Last updated on Jan 7, 2018

← A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm Jul 15, 2018

Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis Sep 13, 2017 →