Login / Signup

Toward Verifying Nonlinear Integer Arithmetic.

Paul BeameVincent Liew
Published in: J. ACM (2019)
Keyphrases
  • integer arithmetic
  • model checking
  • euclidean distance transform
  • multiscale