Formal verification of ethereum smart contracts using Isabelle/HOL

M Ribeiro, P Adão, P Mateus - … , and Security: Essays Dedicated to Andre …, 2020 - Springer
The concept of blockchain was developed with the purpose of decentralizing the trade of
assets, suppressing the need for intermediaries during this process, as well as achieving a …
被引用次数：7 相关文章

Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL

M Ribeiro, P Adao, P Mateus - Logic, Language, and Security - Springer
The concept of blockchain was developed with the purpose of decentralizing the trade of
assets, suppressing the need for intermediaries during this process, as well as achieving a …

Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL

M Ribeiro, P Adao - … , and Security: Essays Dedicated to Andre …, 2020 - books.google.com
The concept of blockchain was developed with the purpose of decentralizing the trade of
assets, suppressing the need for intermediaries during this process, as well as achieving a …

[引用][C] Formal verification of Ethereum smart contracts using Isabelle/HOL

MSCM Ribeiro - 2019