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

Published in: CoRR (2020)

Keyphrases

supply chain
smart environments
smart grid
databases
data sets
real world
web services
database systems
relational databases
dynamic programming
ubiquitous computing