Login / Signup
Formal verification of division and square root implementations, an Oracle report.
David L. Rager
Jo C. Ebergen
Dmitry Nadezhin
Austin Lee
Cuong Kim Chau
Ben Selfridge
Published in:
FMCAD (2016)
Keyphrases
</>
square root
formal verification
model checking
floating point
bounded model checking
kalman filtering
probability density function
arrival rate
model checker
euclidean space
automated verification
image sequences
bayesian networks
query processing
riemannian manifolds