Follow
João Santos Reis
Title
Cited by
Cited by
Year
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
112020
Whylson: Proving your michelson smart contracts in why3
LPA da Horta, JS Reis, M Pereira, SM de Sousa
arXiv preprint arXiv:2005.14650, 2020
72020
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
42020
SoftCheck, uma plataforma de construção de análises estáticas para a segurança de programas, genérica e composicional
JS Reis
PQDT-Global, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–4