FMBC@CAV

Keyphrases

Publications

2024

M. Praveen, Raghavendra Ramesh, Isaac Doidge
Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol. FMBC@CAV (2024)
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. FMBC@CAV (2024)
Elliot Jones, Diego Marmsoler
Towards Mechanised Consensus in Isabelle. FMBC@CAV (2024)
Jonas Schiffl, Bernhard Beckert
A Practical Notion of Liveness in Smart Contract Applications. FMBC@CAV (2024)
Derek Sorensen
Towards Formally Specifying and Verifying Smart Contract Upgrades in Coq. FMBC@CAV (2024)
Junkil Park, Teng Zhang, Wolfgang Grieskamp, Meng Xu, Gerardo Di Giacomo, Kundu Chen, Yi Lu, Robert Chen
Securing Aptos Framework with Formal Verification. FMBC@CAV (2024)
Massimo Bartoletti, Fabio Fioravanti, Giulia Matricardi, Roberto Pettinau, Franco Sainas
Towards Benchmarking of Solidity Verification Tools. FMBC@CAV (2024)
Front Matter, Table of Contents, Preface, Conference Organization. FMBC@CAV (2024)
Daniele Pusceddu, Massimo Bartoletti
Formalizing Automated Market Makers in the Lean 4 Theorem Prover. FMBC@CAV (2024)
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. FMBC@CAV (2024)
Franck Cassez
Deductive Verification of Smart Contracts (Invited Talk). FMBC@CAV (2024)

2022

volume 105, 2022

4th International Workshop on Formal Methods for Blockchains, FMBC@CAV 2022, August 11, 2022, Haifa, Israel. FMBC@CAV 105 (2022)

2021

volume 95, 2021

3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021, July 18-19, 2021, Los Angeles, California, USA (Virtual Conference). FMBC@CAV 95 (2021)

2020

volume 84, 2020

2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July 20-21, 2020, Los Angeles, California, USA (Virtual Conference). FMBC@CAV 84 (2020)