Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE
S Wesley, M Christakis, JA Navas, R Trefler… - … , Model Checking, and …, 2022 - Springer
Solidity smart contract allow developers to formalize financial agreements between users.
Due to their monetary nature, smart contracts have been the target of many high-profile …
Due to their monetary nature, smart contracts have been the target of many high-profile …
Compositional verification of smart contracts through communication abstraction
S Wesley, M Christakis, JA Navas, R Trefler… - International Static …, 2021 - Springer
Solidity smart contracts are programs that manage up to 2^ 160 2 160 users on a
blockchain. Verifying a smart contract relative to all users is intractable due to state …
blockchain. Verifying a smart contract relative to all users is intractable due to state …
Compositional verification of smart contracts through communication abstraction (extended)
S Wesley, M Christakis, JA Navas, R Trefler… - arXiv preprint arXiv …, 2021 - arxiv.org
Solidity smart contracts are programs that manage up to 2^ 160 users on a blockchain.
Verifying a smart contract relative to all users is intractable due to state explosion. Existing …
Verifying a smart contract relative to all users is intractable due to state explosion. Existing …
Dynamic Reconfiguration of Software Systems Using Smart Contracts
AD Hristozov - Conference on Systems Engineering Research, 2024 - Springer
Dynamic reconfiguration usually means that the system software or its configuration was
modified during run time. This could lead to architectural changes, making the operation …
modified during run time. This could lead to architectural changes, making the operation …