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

Petra Hozzová Jaroslav Bendík Alexander Nutz Yoav Rodeh

Published in: CoRR (2024)

Keyphrases

integer arithmetic
euclidean distance transform
model checking
distance transform
formal methods
image segmentation
multiresolution