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

Mariano M. Moscato, Laura Titolo, Aaron Dutle, and Cesar A. Muñoz
September 2017
PDF Cite Project DOI
Type
Conference paper
Publication
In Proceedings of the 36th International Conference on Computer Safety, Reliability, and Security