A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4
Paper i proceeding, 2018
Författare
Heiko Becker
MPI-SWS
Nikita Zyuzin
MPI-SWS
Raphael Monat
École Normale Supérieure de Lyon
Eva Darulova
MPI-SWS
Magnus Myreen
Chalmers, Data- och informationsteknik, Formella metoder
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,
Ämneskategorier
Inbäddad systemteknik
Reglerteknik
Datavetenskap (datalogi)
Medicinsk bildbehandling
DOI
10.23919/FMCAD.2018.8603019