[Maz21]
Łukasz Mazurek.
EthVer: Formal Verification of Randomized Ethereum Smart Contracts.
In International Conference on Financial Cryptography and Data Security (FC'21) Workshops.
2021.
[Develops a tool for formal verification of randomised Ethereum smart contracts, building upon PRISM.]
|
