Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis

Sep 13, 2017·
Mariano M. Moscato
,
Laura Titolo
,
Aaron Dutle
,
And Cesar A. Muñoz
· 0 min read
Type
Publication
In Proceedings of the 36th International Conference on Computer Safety, Reliability, and Security