Verification of a Smart Contract for a Simple Casino.

Mark Utting Liam Kent

Published in: CoRR (2021)

Keyphrases

artificial intelligence
bayesian networks
highly reliable
real time
neural network
case study
information technology
supply chain
model checking