Seguir
João Santos Reis
João Santos Reis
University of Beira Interior, Portugal
Dirección de correo verificada de ubi.pt - Página principal
Título
Citado por
Citado por
Año
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–4