SMT-Based Verification of Solidity Smart Contracts.

Leonardo Alt, Christian Reitwiener

Browse the full ISoLA paper archive.