Numerical stability analysis of floating-point computations using software model checking | IEEE Conference Publication | IEEE Xplore