UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Temporal aspects of smart contracts for financial derivatives

Clack, CD; Vanca, G; (2018) Temporal aspects of smart contracts for financial derivatives. In: Margaria, T and Steffen, B, (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. (pp. pp. 339-355). Springer: Cham, Switzerland. Green open access

[img]
Preview
Image
Clack-iSOLA-2018.pdf - Accepted version

Download (239kB) | Preview

Abstract

Implementing smart contracts to automate the performance of high-value over-the-counter (OTC) financial derivatives is a formidable challenge. Due to the regulatory framework and the scale of financial risk if a contract were to go wrong, the performance of these contracts must be enforceable in law and there is an absolute requirement that the smart contract will be faithful to the intentions of the parties as expressed in the original legal documentation. Formal methods provide an attractive route for validation and assurance, and here we present early results from an investigation of the semantics of industry-standard legal documentation for OTC derivatives. We explain the need for a formal representation that combines temporal, deontic and operational aspects, and focus on the requirements for the temporal aspects as derived from the legal text. The relevance of this work extends beyond OTC derivatives and is applicable to understanding the temporal semantics of a wide range of legal documentation.

Type: Proceedings paper
Title: Temporal aspects of smart contracts for financial derivatives
Event: 8th International Symposium, ISoLA 2018, 5-9 November 2018, Limassol, Cyprus,
ISBN-13: 9783030034269
Open access status: An open access version is available from UCL Discovery
DOI: 10.1007/978-3-030-03427-6_26
Publisher version: https://doi.org/10.1007/978-3-030-03427-6_26
Language: English
Additional information: This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions.
Keywords: Smart contract, Distributed ledger, Finance, Semantics, Temporal
UCL classification: UCL
UCL > Provost and Vice Provost Offices
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: https://discovery.ucl.ac.uk/id/eprint/10064092
Downloads since deposit
17Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item