dc.contributor.author | Galimullin, Rustam | |
dc.contributor.author | Ågotnes, Thomas | |
dc.date.accessioned | 2022-12-09T14:36:35Z | |
dc.date.available | 2022-12-09T14:36:35Z | |
dc.date.created | 2022-11-19T12:23:35Z | |
dc.date.issued | 2022 | |
dc.identifier.isbn | 978-3-031-21203-1 | |
dc.identifier.uri | https://hdl.handle.net/11250/3037063 | |
dc.description.abstract | It has been argued in the literature that logics for reasoning about strategic abilities, and in particular coalition logic (CL), are well-suited for verification of properties of smart contracts on a blockchain. Smart contracts, however, can be upgraded by providing a new version of a contract on a new block. In this paper, we extend one of the recent formalisms for reasoning about updating CL models with a temporal modality connecting a newer version of a model to the previous one. In such a way, we make a step towards verification of properties of smart contracts with upgrades. We also discuss some properties of the resulting logic and the complexity of its model checking problem. | en_US |
dc.language.iso | eng | en_US |
dc.publisher | Springer | en_US |
dc.relation.ispartof | PRIMA 2022: Principles and Practice of Multi-Agent Systems - 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings | |
dc.relation.ispartofseries | Lecture Notes in Computer Science;13753 | |
dc.title | Coalition Logic for Specification and Verification of Smart Contract Upgrades | en_US |
dc.type | Chapter | en_US |
dc.description.version | acceptedVersion | en_US |
dc.rights.holder | Copyright 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG | en_US |
cristin.ispublished | true | |
cristin.fulltext | postprint | |
cristin.qualitycode | 1 | |
dc.identifier.doi | https://doi.org/10.1007/978-3-031-21203-1_34 | |
dc.identifier.cristin | 2076704 | |
dc.source.pagenumber | 563-572 | en_US |
dc.identifier.citation | In: R. Aydoğan, N. Criado, J. Lang, V. Sanchez-Anguix, M. Serramia (eds.), PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16–18, 2022, Proceedings, 563–572. | en_US |