Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
Explore a 26-minute conference presentation from POPL 2018 where researchers from Stanford University and Microsoft Research demonstrate a groundbreaking static analysis method for automatically verifying the accuracy of floating-point calculations in math.h implementations. Learn how the team developed an innovative approach that transforms complex verification challenges into mathematical optimization problems solvable through computer algebra systems, successfully proving the correctness of Intel's math library implementations. Discover how this automated verification process eliminates the need for extensive manual verification efforts while confirming the tight error bounds claimed by industry-standard mathematical libraries.
