"A Verified Certificate Checker for Floating-Point Error Bounds."

Heiko Becker, Eva Darulova, Magnus O. Myreen (2017)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics