default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th FMBC@ETAPS 2024: Luxembourg City, Luxembourg
- Bruno Bernardo, Diego Marmsoler
:
5th International Workshop on Formal Methods for Blockchains, FMBC 2024, Luxembourg City, Luxembourg, April 7, 2024. OASIcs 118, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-317-1 - Front Matter, Table of Contents, Preface, Conference Organization. 0:i-0:xii
- Franck Cassez:
Deductive Verification of Smart Contracts (Invited Talk). 1:1-1:1 - Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William J. DeMeo, Ulf Norell:
Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda. 2:1-2:18 - M. Praveen, Raghavendra Ramesh, Isaac Doidge:
Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol. 3:1-3:16 - Elliot Jones, Diego Marmsoler:
Towards Mechanised Consensus in Isabelle. 4:1-4:22 - Daniele Pusceddu, Massimo Bartoletti:
Formalizing Automated Market Makers in the Lean 4 Theorem Prover. 5:1-5:13 - Massimo Bartoletti, Fabio Fioravanti, Giulia Matricardi, Roberto Pettinau, Franco Sainas:
Towards Benchmarking of Solidity Verification Tools. 6:1-6:15 - Derek Sorensen:
Towards Formally Specifying and Verifying Smart Contract Upgrades in Coq. 7:1-7:14 - Jonas Schiffl, Bernhard Beckert:
A Practical Notion of Liveness in Smart Contract Applications. 8:1-8:13 - Junkil Park, Teng Zhang, Wolfgang Grieskamp, Meng Xu, Gerardo Di Giacomo, Kundu Chen, Yi Lu, Robert Chen:
Securing Aptos Framework with Formal Verification. 9:1-9:16 - Polina Vinogradova, Orestis Melkonian, Philip Wadler, Manuel M. T. Chakravarty, Jacco Krijnen, Michael Peyton Jones, James Chapman, Tudor Ferariu:
Structured Contracts in the EUTxO Ledger Model. 10:1-10:19
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-12-15 22:35 CET 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:
