Validation and Verification of Smart Contracts: A Research Agenda.

Daniele Magazzeni Peter McBurney William Nash

Published in: Computer (2017)

Keyphrases

supply chain
model checking
formal verification
machine learning
information retrieval
artificial intelligence
multi agent systems
asynchronous circuits
information systems
search algorithm
social welfare
signature verification
moral hazard