work Eiffel Eiffel is a tool used to detect significant floating-point errors. Instead of search such significant floating-point errors, Eiffel infers the input ranges that triggers such errors via polynomial extrapolation. HSED HSED is implemented by using hierarchical search to detect the maximum error of floating-point arithmetic expressions. fun
