Sign in
Towards Verifying Nonlinear Integer Arithmetic.
Paul Beame
Vincent Liew
Published in:
CAV (2) (2017)
Keyphrases
</>
integer arithmetic
model checking
euclidean distance transform
high dimensional
color images