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