Accurate Smart Contract Verification through Direct Modelling

TitleAccurate Smart Contract Verification through Direct Modelling
Publication TypeConference Paper
Year of Publication2020
AuthorsMarescotti, Matteo, Otoni Rodrigo, Alt Leonardo, Eugster Patrick, Hyvärinen Antti E. J., and Sharygina Natasha
Conference NameISoLA 2020 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation