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...
| Publicado en: | Computer (00189162) Vol. 50; no. 9; pp. 50 - 58 |
|---|---|
| Autores principales: | , , |
| Formato: | Artículo |
| Publicado: |
IEEE
Sep2017
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=125381348&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 125381348 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00189162 PUT jtl: Computer (00189162) issn: 00189162 maglogo: N pubinfo: dt: Sep2017 vid: 50 iid: 9 pid: 13605 pub: IEEE artinfo: ui: 125381348 10.1109/MC.2017.3571045 ppf: 50 ppct: 8 formats: tig: atl: Validation and Verification of Smart Contracts: A Research Agenda. aug: au: Magazzeni, Daniele McBurney, Peter Nash, William affil: King’s College London Kwôri su: Natural language processing Distributed computing Blockchains Financial institution software Semantics sug: subj: Natural language processing Distributed computing Blockchains Financial institution software Semantics keyword: Bitcoin blockchain Contracts Distributed databases distributed-ledger technology DLT financial technology Natural languages semantics smart contract validation verification ab: 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2017 holdings: @attributes: islocal: N |
|---|