SmartBugs: A Framework to Analyze Solidity Smart Contracts.

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

Published in: ASE (2020)

Keyphrases

computer vision
main contribution
real time
data sets
three dimensional
probabilistic model
framework enables
neural network
search engine
multiscale
mobile devices
medical images
conceptual framework