Accurate Smart Contract Verification through Direct Modelling - ISoLA 2020 [ Presentation | Slides | Extended Version ] Computing Exact Worst-Case Gas Consumption for Smart Contracts - ISoLA 2018