Presentation
Reasoning about Floating Point in the Real World
Presenter
Event Type
Workshop
W
Correctness
Debugging
Reliability
Verification
TimeMonday, 18 November 20199:05am - 10am
Location712
DescriptionThe 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.
Presenter