A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4
Paper in proceeding, 2018
Author
Heiko Becker
MPI-SWS
Nikita Zyuzin
MPI-SWS
Raphael Monat
École Normale Supérieure de Lyon
Eva Darulova
MPI-SWS
Magnus Myreen
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Anthony C. J. Fox
University of Cambridge
Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018
215-224 8603019
978-098356788-2 (ISBN)
Austin, USA,
Subject Categories
Embedded Systems
Control Engineering
Computer Science
Medical Image Processing
DOI
10.23919/FMCAD.2018.8603019