Login / Signup
Floating Point Verification in HOL Light: The Exponential Function.
John Harrison
Published in:
Formal Methods Syst. Des. (2000)
Keyphrases
</>
floating point
formal methods
fixed point
square root
model checking
model checker
sparse matrices
instruction set
floating point arithmetic
formal verification
natural deduction
fast fourier transform
pairwise
state space
general purpose