www.prismmodelchecker.org
[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.]

Publications