Formally Verifying a Real World Smart Contract.

Alexandre Mota Fei Yang Cristiano Teixeira

Published in: CoRR (2023)

Keyphrases

real world
wide range
data mining
data sets
supply chain
database
knowledge base
case study
synthetic data
feature selection
decision making
image sequences
similarity measure
multiscale
model checking