Formal Specification and Verification of Solidity Contracts with Events (Short Paper).

kos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie

Browse the full CAV paper archive.