Luís Pedro Arrojado da Horta | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Mário Pereira
10 publications
Simão Melo de Sousa
4 publications
João Santos Reis
2 publications

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. ∙