Towards Formally Specifying and Verifying Smart Contract Upgrades in Coq.

Published in: FMBC@CAV (2024)

Keyphrases

theorem prover
formal methods
model checking
data sets
neural network
decision making
decision trees
supply chain
databases
real world
machine learning
learning algorithm
e learning
case study