Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification.

Petra Hozzová Jaroslav Bendík Alexander Nutz Yoav Rodeh

Published in: LPAR (2023)

Keyphrases

integer arithmetic
supply chain
euclidean distance transform
model checking
multiresolution
image restoration