Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain

von Bernardo, Bruno
Veröffentlicht in AsiaUSEC (2020 : Kota Kinabalu) Financial cryptography and data security (2020)

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

von Bernardo, Bruno
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 1 (2020)

Making Tezos Smart Contracts More Reliable with Coq

von Bernardo, Bruno
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 3: Engineering principles (2020)