Validation and verification of smart contracts: A research agenda

Daniele Magazzeni*, Peter Mcburney, William Nash

*Corresponding author for this work

Research output: Contribution to specialist publicationArticle

148 Citations (Scopus)

Abstract

Smart contracts might encode legal contracts written in natural language to represent the contracting parties' shared understandings and intentions. The issues and research challenges involved in the validation and verification of smart contracts, particularly those running over blockchains and distributed ledgers, are explored.

Original languageEnglish
Pages50-57
Number of pages8
Volume50
No.9
Specialist publicationCOMPUTER
DOIs
Publication statusE-pub ahead of print - 22 Sept 2017

Keywords

  • blockchain
  • distributed-ledger technology
  • DLT
  • financial technology
  • semantics
  • smart contract
  • validation
  • verification

Fingerprint

Dive into the research topics of 'Validation and verification of smart contracts: A research agenda'. Together they form a unique fingerprint.

Cite this