Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/86726| Title: | Reliable smart contracts |
| Other Titles: | Leveraging applications of formal methods, verification and validation : applications |
| Authors: | Pace, Gordon J. Sánchez, César Schneider, Gerardo |
| Keywords: | Intelligent agents (Computer software) Deontic logic Relevance logic Service-oriented architecture (Computer science) |
| Issue Date: | 2020 |
| Publisher: | Springer |
| Citation: | Pace, G. J., Sánchez, C., & Schneider, G. (2020). Reliable smart contracts. In T. Margaria, & B. Steffen (Eds.), Leveraging applications of formal methods, verification and validation : applications (pp. 3-8). Cham: Springer. |
| Abstract: | The rise of smart contracts executed on blockchain and other distributed ledger technologies enabled trustless yet decentralised computation. Various applications take advantage of this computational model, including enforced financial contracts, self-sovereign identity and voting. But smart contracts are nothing but software running on a blockchain, with risks of malfunction due to bugs in the code. Compared to traditional systems, there is an additional risk in that erroneous computation or transactions triggered by a smart contract cannot be easily rolled back due to the immutability of the underlying execution model. This ISoLA track brings together a number of experts in the field of smart contract reliability and verification to discuss the state-of-the-art in smart contract dependability and discuss research challenges and future directions. |
| URI: | https://www.um.edu.mt/library/oar/handle/123456789/86726 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Reliable_smart_contracts.pdf Restricted Access | 156.59 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.