João Santos Reis

According to our database, João Santos Reis authored at least 3 papers in 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

WhylSon: Proving your Michelson Smart Contracts in Why3.

Luís Pedro Arrojado da Horta, João Santos Reis, Mário Pereira, Simão Melo de Sousa

CoRR, 2020

Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts.

João Santos Reis, Paul Andrew Crocker, Simão Melo de Sousa

Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020

A tool for proving Michelson Smart Contracts in WHY3^*.

Luís Pedro Arrojado da Horta, João Santos Reis, Simão Melo de Sousa, Mário Pereira

Proceedings of the IEEE International Conference on Blockchain, 2020