We offer an approach embedded in a new tool called SATIHE that scales error analysis by four orders of magnitude compared to today's best-of-class tools.
Nov 9, 2020 · We present a scalable and rigorous approach to formally analyzing floating-point rounding error: SATIRE (standing for Scalable Abstraction- ...
Nov 9, 2020 · In this work, we offer an approach embedded in a new tool called Satire that scales error analysis by four orders of magnitude compared to ...
In this work, we offer an approach embedded in a new tool called SATIHE that scales error analysis by four orders of magnitude compared to today's best-of-class ...
Satire is a first order error analysis tool for obtaining rigorous bounds on worst case floating point round-off errors. It works on straight line ...
Providing a reasonably accurate sound rounding analysis that tightly bounds rounding errors without extensive over-approximation is intricate already for ...
Sep 23, 2020 · In this talk, we discuss a scalable yet rigorous technique for analyzing floating-point applications. Furthermore, we show how this technique ...
People also ask
What is a floating-point error?
What is floating-point error in numerical analysis?
Apr 24, 2020 · Automated techniques for rigorous floating-point round-off error analysis are important in areas including formal verification of correctness ...
Apr 24, 2020 · Rigorous estimation of maximum floating-point round-off errors is an important capability central to many formal verification tools.
Jul 2, 2020 · In this work, we introduce a scalable and rigorous approach for error anal- ysis embedded in a new tool, namely, SAtiRE (Scalable Abstraction- ...