Validation and verification of smart contracts: A research agenda

TY - GEN

T1 - Validation and verification of smart contracts

T2 - A research agenda

AU - Magazzeni, Daniele

AU - Mcburney, Peter

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 - blockchain

KW - distributed-ledger technology

KW - DLT

KW - financial technology

KW - semantics

KW - smart contract

KW - validation

KW - verification

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

AN - SCOPUS:85030465463

SN - 0018-9162

VL - 50

SP - 50

EP - 57

JO - COMPUTER

JF - COMPUTER

ER -