Login / Signup
An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools.
Bruno Dia
Naghmeh Ramezani Ivaki
Nuno Laranjeiro
Published in:
PRDC (2021)
Keyphrases
</>
formal methods
software tools
decision support
face verification
supply chain
learning systems
model checking
real time
data sets
neural network
artificial intelligence
social networks
empirical evaluation
user friendly
smart environments
formal verification