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

Franjo Ivančić, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta

Research output: Chapter in Book/Report/Conference proceedingConference contribution

17 Scopus citations

Fingerprint Dive into the research topics of 'Numerical stability analysis of floating-point computations using software model checking'. Together they form a unique fingerprint.

Engineering & Materials Science