Formal Verification of Smart Contracts - Publications

Accurate Smart Contract Verification through Direct Modelling - ISoLA 2020 [ Presentation | Slides | Extended Version ]

Computing Exact Worst-Case Gas Consumption for Smart Contracts - ISoLA 2018