Formal Verification of Programs Computing the Floating-Point Average
ICFEM, pp. 17-32, 2015.
The most well-known feature of floating-point arithmetic is the limited precision, which creates round-off errors and inaccuracies. Another important issue is the limited range, which creates underflow and overflow, even if this topic is dismissed most of the time. This article shows a very simple example: the average of two floating-poin...More
Full Text (Upload PDF)
PPT (Upload PPT)