Extracting smart contracts tested and verified in Coq.

Danil Annenkov Mikkel Milo Jakob Botsch Nielsen Bas Spitters

Published in: CPP (2021)

Keyphrases

data sets
formal methods
real time
data structure
database
search engine
decision making
case study
three dimensional
information technology
supply chain