Validation and Verification of Smart Contracts: A Research Agenda.

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

Full description

Bibliographic Details
Published in:	Computer (00189162) Vol. 50; no. 9; pp. 50 - 58
Main Authors:	Magazzeni, Daniele, McBurney, Peter, Nash, William
Format:	Article
Published:	IEEE Sep2017
Subjects:	Natural language processing Distributed computing Blockchains Financial institution software Semantics
Online Access:	View this record in EBSCOhost

Description
Summary:	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.