SAFEVM: A Safety Verifier for Ethereum Smart Contracts.

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

Published in: CoRR (2019)

Keyphrases

supply chain
ubiquitous environments
safety critical
real time
machine learning
search algorithm
artificial neural networks
smart environments
enabling technologies
principal agent