ConCert: a smart contract certification framework in Coq.

Danil Annenkov Jakob Botsch Nielsen Bas Spitters

Published in: CPP (2020)

Keyphrases

main contribution
database
data sets
similarity measure
probabilistic model
key features
databases
neural network
decision trees
hidden markov models
cd rom
theorem prover