EthVer: formal verification of randomized Ethereum smart contracts

DOI10.1007/978-3-662-63958-0_30zbMath1490.91255OpenAlexW3200616795MaRDI QIDQ2670859

Łukasz Mazurek

Publication date: 1 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-662-63958-0_30

zbMATH Keywords

verificationmodel checkingformal methodscryptocurrenciesethereumsmart contracts

Mathematics Subject Classification ID

Cryptography (94A60) Actuarial science and mathematical finance (91G99)

Related Items (1)

EthVer

Uses Software

• PRISM
• Isabelle/HOL
• Why3
• WhyML
• GitHub
• Mythril
• Manticore
• solgraph

Cites Work

• Quantitative analysis of smart contracts
• Why3 — Where Programs Meet Provers

This page was built for publication: EthVer: formal verification of randomized Ethereum smart contracts