Login / Signup

Towards Verifying Nonlinear Integer Arithmetic.

Paul BeameVincent Liew
Published in: CAV (2) (2017)
Keyphrases
  • integer arithmetic
  • model checking
  • euclidean distance transform
  • high dimensional
  • color images