related documents Numerical stability analysis of floating-point computations using software model checking Conference Proceeding
