Validation and verification of smart contracts: a research agenda

Daniele Magazzeni; Peter John McBurney; William  Nash

doi:10.1109/MC.2017.3571045

Validation and verification of smart contracts: a research agenda

Daniele Magazzeni, Peter John McBurney, William Nash

Kwori

Research output: Contribution to journal › Article › peer-review

154 Citations (Scopus)

1287 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 language	English
Pages (from-to)	50-57
Number of pages	8
Journal	COMPUTER
Volume	50
Issue number	9
Early online date	22 Sept 2017
DOIs	https://doi.org/10.1109/MC.2017.3571045
Publication status	E-pub ahead of print - 22 Sept 2017

Keywords

Blockchains
Smart contracts
Distributed ledgers
Verification
Validation

Access to Document

10.1109/MC.2017.3571045

Validation and verification of_MAGAZZENI_Publishedonline22September2017_GREEN AAM
(c) 2017 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works.
Accepted author manuscript, 228 KBLicence: Unspecified

Cite this

@article{5d72e123d9744c69a68e7ef0adaeaef4,

title = "Validation and verification of smart contracts: a research agenda",

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. ",

keywords = "Blockchains, Smart contracts, Distributed ledgers, Verification, Validation",

author = "Daniele Magazzeni and McBurney, {Peter John} and William Nash",

year = "2017",

month = sep,

day = "22",

doi = "10.1109/MC.2017.3571045",

language = "English",

volume = "50",

pages = "50--57",

journal = "COMPUTER",

issn = "0018-9162",

publisher = "IEEE Computer Society",

number = "9",

}

TY - JOUR

T1 - Validation and verification of smart contracts

T2 - a research agenda

AU - Magazzeni, Daniele

AU - McBurney, Peter John

AU - Nash, William

PY - 2017/9/22

Y1 - 2017/9/22

N2 - 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.

AB - 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.

KW - Blockchains

KW - Smart contracts

KW - Distributed ledgers

KW - Verification

KW - Validation

UR - http://www.scopus.com/inward/record.url?scp=85030465463&partnerID=8YFLogxK

U2 - 10.1109/MC.2017.3571045

DO - 10.1109/MC.2017.3571045

M3 - Article

SN - 0018-9162

VL - 50

SP - 50

EP - 57

JO - COMPUTER

JF - COMPUTER

IS - 9

ER -

Validation and verification of smart contracts: a research agenda

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this