Login / Signup
Floating Point Verification in HOL.
John Harrison
Published in:
TPHOLs (1995)
Keyphrases
</>
floating point
formal methods
fixed point
model checking
square root
model checker
instruction set
formal verification
sparse matrices
interval arithmetic
general purpose
theorem prover
reinforcement learning
higher order
fast fourier transform
floating point arithmetic