Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts.

Bruno Bernardo, Raphal Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson

Browse the full FM paper archive.