Maria Ribeiro, Pedro Adão, Paulo Mateus. Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL. In Vivek Nigam, Tajana Ban Kirigin, Carolyn L. Talcott, Joshua D. Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada, editors, Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday. Volume 12300 of Lecture Notes in Computer Science, pages 71-97, Springer, 2020. [doi]
Abstract is missing.