Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts.

Bruno Bernardo Raphaël Cauderlier Zhenlei Hu Basile Pesin Julien Tesson

Published in: CoRR (2019)

Keyphrases

mutual information
main contribution
theoretical framework
databases
genetic algorithm
artificial intelligence
conceptual framework
data sets
video sequences
multi agent systems
computational model
computational framework
framework enables