Contains the keyword modular verification

Hajdu Á, Jovanović D, Ciocarlie G. Formal Specification and Verification of Solidity Contracts with Events (short paper). In: 2nd Workshop on Formal Methods for Blockchains.; 2020. Abstract

(In press)

BibTex