On Sound Relative Error Bounds for Floating-Point Arithmetic

Anastasiia Izycheva, Eva Darulova

State-of-the-art static analysis tools for verifying finite-precision code compute worst-case absolute error bounds on numerical errors. These are, however, often not a good estima…