Towards Safer Smart Contracts: A Survey of Languages and Verification Methods.

Dominik Harz William J. Knottenbelt

Published in: CoRR (2018)

Keyphrases

benchmark datasets
computational cost
qualitative and quantitative
neural network
information systems
empirical studies
machine learning methods