João Santos Reis | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Mário Pereira
10 publications
Simão Melo de Sousa
4 publications
Paul Crocker
2 publications
Luís Pedro Arrojado da Horta
1 publication

research

∙ 05/29/2020

WhylSon: Proving your Michelson Smart Contracts in Why3

This paper introduces WhylSon, a deductive verification tool for smart c...

0 Luís Pedro Arrojado da Horta, et al. ∙

research

∙ 05/24/2020

Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts

This paper introduces Tezla, an intermediate representation of Michelson...

0 João Santos Reis, et al. ∙