Validation and verification of smart contracts: a research agenda

Research output: Contribution to journalArticlepeer-review

148 Citations (Scopus)
1204 Downloads (Pure)

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
Pages (from-to)50-57
Number of pages8
JournalCOMPUTER
Volume50
Issue number9
Early online date22 Sept 2017
DOIs
Publication statusE-pub ahead of print - 22 Sept 2017

Keywords

  • Blockchains
  • Smart contracts
  • Distributed ledgers
  • Verification
  • Validation

Fingerprint

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

Cite this