The Community for Technology Leaders
Green Image
Issue No. 09 - September (2017 vol. 50)
ISSN: 0018-9162
pp: 50-57
Daniele Magazzeni , King’s College London
Peter McBurney , King’s College London
William Nash , Kwôri
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.
INDEX TERMS
Contracts, Natural languages, Distributed databases, Bitcoin
CITATION

D. Magazzeni, P. McBurney and W. Nash, "Validation and Verification of Smart Contracts: A Research Agenda," in Computer, vol. 50, no. 9, pp. 50-57, 2017.
doi:10.1109/MC.2017.3571045
183 ms
(Ver 3.3 (11022016))