Formal Verification of a State-of-the-Art Integer Square Root.

Guillaume Melquiond Raphaël Rieu-Helft

Published in: ARITH (2019)

Keyphrases

square root
formal verification
floating point
model checking
automated verification
model checker
fixed point
bounded model checking
euclidean space
kalman filtering
probability density function
arrival rate
shape analysis
computer vision
image sequences
sufficient conditions