SC19 Proceedings

The International Conference for High Performance Computing, Networking, Storage, and Analysis

Reasoning about Floating Point in the Real World


Workshop: Reasoning about Floating Point in the Real World

Abstract: The formal verification of floating point code as it exists in widely-used, highly-optimized libraries is very challenging, in fact so challenging that formal proofs, where they exist, are done manually. This talk will discuss a combination of recent results that allow some important codes to be verified fully automatically, as well as additional challenges that have yet to be overcome.






Back to 3nd International Workshop on Software Correctness for HPC Applications (Correctness 2019) Archive Listing


Back to Full Workshop Archive Listing