Making Tezos smart contracts more reliable with Coq.

Bruno Bernardo Raphaël Cauderlier Guillaume Claret Arvid Jakobsson Basile Pesin Julien Tesson

Published in: CoRR (2021)

Keyphrases

formal methods
supply chain
cost effective
theorem prover
data sets
information retrieval
information systems
real time
neural network
artificial intelligence
medical images
meeting room
ubiquitous environments