6 citations · 6 across the 1 of their papers we have counts for
2 papers
cs.PL2020★ 6 cited
WhylSon: Proving your Michelson Smart Contracts in Why3
Luís Pedro Arrojado da Horta, João Santos Reis, Mário Pereira +1
This paper introduces WhylSon, a deductive verification tool for smart contracts written in Michelson, which is the low-level language of the Tezos blockchain. WhylSon accepts a fo…
cs.PL2020
Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts
João Santos Reis, Paul Crocker, Simão Melo de Sousa
This paper introduces Tezla, an intermediate representation of Michelson smart contracts that eases the design of static smart contract analysers. This intermediate representation…