Browsing Master theses by Subject "Coalition Logic"
Now showing items 1-1 of 1
-
Model Checking Upgrades in Ethereum Smart Contracts
(Master thesis, 2023-06-02)In this master’s thesis, the model-checking tool StraTegic Verifier has been extended to verify upgrades in Smart Contracts. It has been shown how to model Smart Contracts as Concurrent Game Models, enabling them to be ...