Work

Validation and Verification of Smart Contracts: A Research Agenda

Year: 2017

Type: article

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.

Source: Computer

DOI: 10.1109/mc.2017.3571045

Authors: Daniele Magazzeni, Peter McBurney, William Nash

Institution: King's College London

Language: English

Topic: Blockchain Technology Applications and Security

Subfield: Information Systems

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: University College London

OpenAlex ID: W2758225150

FWCI: 27.43

Cites: 14

Cited by: 190

Related to: 10