Towards a Smart Contract Verification Framework in Coq.

Danil Annenkov Bas Spitters

Published in: CoRR (2019)

Keyphrases

database
lightweight
key features
conceptual framework
decision trees
probabilistic model
smart environments