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

Descripción completa

Detalles Bibliográficos

Publicado en:	Computer (00189162) Vol. 50; no. 9; pp. 50 - 58
Autores principales:	Magazzeni, Daniele, McBurney, Peter, Nash, William
Formato:	Artículo
Publicado:	IEEE Sep2017
Materias:	Natural language processing Distributed computing Blockchains Financial institution software Semantics
Acceso en línea:	Ver este registro en EBSCOhost