SmartBugs: A Framework to Analyze Solidity Smart Contracts.

João F. Ferreira Pedro Cruz Thomas Durieux Rui Abreu

Published in: CoRR (2020)

Keyphrases

real time
theoretical framework
conceptual framework
real world
hidden markov models
computational framework