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

Petra Hozzov, Jaroslav Bendk, Alexander Nutz, Yoav Rodeh

Browse the full LPAR paper archive.