Modeling and verification of smart contracts with Abstract State Machines.

Chiara Braghin Elvinia Riccobene Simone Valentini

Published in: SAC (2024)

Keyphrases

supply chain
database
databases
machine learning
image processing
case study
search algorithm
model checking
multiresolution
context aware
colored petri nets