Extracting Smart Contracts Tested and Verified in Coq.

Danil Annenkov Mikkel Milo Jakob Botsch Nielsen Bas Spitters

Published in: CoRR (2020)

Keyphrases

artificial intelligence
supply chain
automatically extracting
image processing
decision trees
case study
objective function
data structure
expert systems
probabilistic model
ambient intelligence
automatic extraction
formal methods
meeting room