King's College London

Research portal

Validation and verification of smart contracts: A research agenda

Research output: Contribution to specialist publicationArticle

Original languageEnglish
Pages50-57
Number of pages8
Volume50
Issue number9
JournalCOMPUTER
DOIs
Publication statusE-pub ahead of print - 22 Sep 2017

King's Authors

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.

View graph of relations

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454