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 proceeding › Conference contribution

24 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.

Keyphrases

Computer Science