Login / Signup
Floating Point Verification in HOL Light: The Exponential Function.
John Harrison
Published in:
AMAST (1997)
Keyphrases
</>
floating point
formal methods
square root
fixed point
model checking
model checker
instruction set
floating point arithmetic
formal verification
interval arithmetic
artificial intelligence
software engineering
fast fourier transform
natural deduction
sparse matrices
formal specification