3 citations · 3 across the 1 of their papers we have counts for
3 papers
Making Tezos smart contracts more reliable with Coq
Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret +3
Tezos is a smart-contract blockchain. Tezos smart contracts are written in a low-level stack-based language called Michelson. This article gives an overview of efforts using the Co…
Albert, an intermediate smart-contract language for the Tezos blockchain
Bruno Bernardo, Raphaël Cauderlier, Basile Pesin +1
Tezos is a smart-contract blockchain. Tezos smart contracts are written in a low-level stack-based language called Michelson. In this article we present Albert, an intermediate lan…
Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts
Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu +2
Tezos is a blockchain launched in June 2018. It is written in OCaml and supports smart contracts. Its smart contract language is called Michelson and it has been designed with form…