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