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

Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta

Browse the full MEMOCODE paper archive.