Numerical stability analysis of floating-point computations using software model checking

Malay K. Ganai
Sriram Sankaranarayanan
Aarti Gupta
MEMOCODE (2010), pp. 49-58

Abstract