Formal verification of Ethereum smart contracts using Isabelle/HOL

DOI10.1007/978-3-030-62077-6_7zbMath1476.68156OpenAlexW3097390987MaRDI QIDQ2037985

Pedro Adão, Maria Ribeiro, Paulo Mateus

Publication date: 8 July 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-62077-6_7

zbMATH Keywords

formal verificationHoare logicsolidityIsabelle/HOLEthereumsmart contracts

Mathematics Subject Classification ID

Cryptography (94A60) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Contract theory (moral hazard, adverse selection) (91B41)

Uses Software

• Unnamed Item

This page was built for publication: Formal verification of Ethereum smart contracts using Isabelle/HOL