Login / Signup
A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4.
Heiko Becker
Nikita Zyuzin
Raphaël Monat
Eva Darulova
Magnus O. Myreen
Anthony C. J. Fox
Published in:
FMCAD (2018)
Keyphrases
</>
error bounds
theorem prover
formal methods
theoretical analysis
high recall
worst case
precision and recall
finite sample
finite number
high precision
higher order logic
knowledge based systems
higher order
artificial intelligence
theorem proving
formal specification
data sets
inference rules
software engineering