An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis

Arnab Das, Ian Briggs, Ganesh Gopalakrishnan +2

Automated techniques for rigorous floating-point round-off error analysis are important in areas including formal verification of correctness and precision tuning. Existing tools a…