King's College London

Research portal

Validation and verification of smart contracts: a research agenda

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)50-57
Number of pages8
Issue number9
Early online date22 Sep 2017
Accepted/In press18 Jul 2017
E-pub ahead of print22 Sep 2017


  • Validation and verification of_MAGAZZENI_Publishedonline22September2017_GREEN AAM

    IEEE_Computer_Sept2017_SmartContracts_CRC.pdf, 228 KB, application/pdf

    Uploaded date:05 Aug 2017

    Version:Accepted author manuscript

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

King's Authors


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.

Download statistics

No data available

View graph of relations

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