Accurate Smart Contract Verification Through Direct Modelling

Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
January 2020
Cite DOI URL
Type
1
Publication
9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Applications (ISoLA 2020)