Verification of smart contracts: A survey.

Mouhamad Almakhour Layth Sliman Abed Ellatif Samhat Abdelhamid Mellouk

Published in: Pervasive Mob. Comput. (2020)

Keyphrases

model checking
supply chain
data sets
ubiquitous environments
formal analysis
smart environments
machine learning
database
image processing
image sequences
multiscale
expert systems
mobile devices
search engine
power system
learning algorithm
genetic algorithm
person identification
moral hazard