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

Mariano M. Moscato, Laura Titolo, Aaron Dutle, Csar A. Muoz

Browse the full SAFECOMP paper archive.