Software
RangeLab
RangeLab is a tool to automatically validate the accuracy of floating-point or fixed-point computations. Given intervals for the input variables, RangeLab computes the range of the outputs of simple functions with conditional or loops as well as ranges for the roundoff errors arising during these computations. Hence the users not only obtains the range of the result of the computation in the computer arithmetic but also a bound on the difference between the computer result and the result in infinite precision. RangeLab is based on static analysis by abstract interpretation.
Visit RangeLab's page