Login / Signup
Model-Based Static and Runtime Verification for Ethereum Smart Contracts.
Shaun Azzopardi
Christian Colombo
Gordon J. Pace
Published in:
MODELSWARD (Revised Selected Papers) (2020)
Keyphrases
</>
supply chain
model checking
face verification
evolutionary algorithm
moral hazard
data sets
verification method
person identification
data structure
artificial intelligence
information retrieval
real world
formal methods
formal verification
fully unsupervised
machine learning
data mining
concurrent systems