Sledovat
João Santos Reis
João Santos Reis
University of Beira Interior, Portugal
E-mailová adresa ověřena na: ubi.pt - Domovská stránka
Název
Citace
Citace
Rok
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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–4