Computing Exact Worst-Case Gas Consumption for Smart Contracts.

Matteo Marescotti, Martin Blicha, Antti E. J. Hyvrinen, Sepideh Asadi, Natasha Sharygina

Browse the full ISoLA paper archive.