default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th FMBC 2025: Hamilton, Canada
- Diego Marmsoler
, Meng Xu:
6th International Workshop on Formal Methods for Blockchains, FMBC 2025, May 4, 2025, Hamilton, Canada. OASIcs 129, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-371-3 - Front Matter, Table of Contents, Preface, Conference Organization. 0:i-0:xvi
- Wolfgang Grieskamp:
Is Formal Verification Practical? (Invited Talk). 1:1-1:2 - Julian Sutherland:
Bringing the Power of Interactive Theorem Proving to Web3 (Invited Talk). 2:1-2:1 - Massimo Bartoletti, Silvia Crafa, Enrico Lipparini:
Formal Verification in Solidity and Move: Insights from a Comparative Analysis. 3:1-3:18 - Franck Cassez:
ByteSpector: A Verifying Disassembler for EVM Bytecode. 4:1-4:15 - Martín Ceresa, César Sánchez:
Towards a Mechanization of Fraud Proof Games in Lean. 5:1-5:17 - Tudor Ferariu, Philip Wadler, Orestis Melkonian:
Validity, Liquidity, and Fidelity: Formal Verification for Smart Contracts in Cardano. 6:1-6:21 - Mauro Jaskelioff, Orestis Melkonian, James Chapman:
A Readable and Computable Formalization of the Streamlet Consensus Protocol. 7:1-7:18 - Filip Maric, Bernhard Scholz, Pavle Subotic:
Formal Verification of a Fail-Safe Cross-Chain Bridge. 8:1-8:18 - Kegan McIlwaine, James L. Caldwell:
Verifying Smart Contract Transformations Using Bisimulations. 9:1-9:19 - Orestis Melkonian, Wouter Swierstra, James Chapman:
Program Logics for Ledgers. 10:1-10:22 - Derek Sorensen:
Formally Specifying Contract Optimizations with Bisimulations in Coq. 11:1-11:13 - Asad Ahmed, Diego Marmsoler:
Isabelle/Solidity: A Tool for the Verification of Solidity Smart Contracts (Tool Paper). 12:1-12:9 - João Miguel Louro Neto, Burcu Kulahcioglu Ozkan:
A Benchmark Framework for Byzantine Fault Tolerance Testing Algorithms (Tool Paper). 13:1-13:11 - Jonas Schiffl, Bernhard Beckert:
Scar: Verification-Based Development of Smart Contracts (Tool Paper). 14:1-14:13
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-06-21 00:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
