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

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

Abstract

Research Areas