Accurate Smart Contract Verification Through Direct Modelling.

Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvrinen, Natasha Sharygina

Browse the full ISoLA paper archive.