João Santos Reis
Title
Cited by
Cited by
Year
WhylSon: Proving your Michelson Smart Contracts in Why3
LPA da Horta, JS Reis, M Pereira, SM de Sousa
arXiv preprint arXiv:2005.14650, 2020
22020
Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts
JS Reis, P Crocker, SM de Sousa
2nd Workshop on Formal Methods for Blockchains (FMBC 2020), 4:1-4:12, 2020
22020
A tool for proving Michelson Smart Contracts in WHY3*
LPA da Horta, JS Reis, SM de Sousa, M Pereira
2020 IEEE International Conference on Blockchain (Blockchain), 409-414, 2020
12020
SoftCheck, uma plataforma de construção de análises estáticas para a segurança de programas, genérica e composicional
JS Reis
12018
The system can't perform the operation now. Try again later.
Articles 1–4