Browsing Bergen Open Research Archive by Author "Aga, Eirin Maria Larsson"
Now showing items 1-1 of 1
-
Model Checking Upgrades in Ethereum Smart Contracts
Aga, Eirin Maria Larsson (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 ...