SAFEVM: a safety verifier for Ethereum smart contracts.

Elvira Albert Jesús Correas Pablo Gordillo Guillermo Román-Díez Albert Rubio

Published in: ISSTA (2019)

Keyphrases

supply chain
smart environments
data structure
smart grid
case study
image sequences
bayesian networks
expert systems
database
optimal solution
meeting room