OASIcs, Volume 118, FMBC 2024

• Bruno Bernardo and Diego Marmsoler OASIcs, Volume 118, FMBC 2024, Complete Volume 10.4230/OASIcs.FMBC.2024
• Bruno Bernardo and Diego Marmsoler Front Matter, Table of Contents, Preface, Conference Organization 10.4230/OASIcs.FMBC.2024.0
• Franck Cassez Deductive Verification of Smart Contracts (Invited Talk) 10.4230/OASIcs.FMBC.2024.1
• Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William DeMeo, and Ulf Norell Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda 10.4230/OASIcs.FMBC.2024.2
• M. Praveen, Raghavendra Ramesh, and Isaac Doidge Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol 10.4230/OASIcs.FMBC.2024.3
• Elliot Jones and Diego Marmsoler Towards Mechanised Consensus in Isabelle 10.4230/OASIcs.FMBC.2024.4
• Daniele Pusceddu and Massimo Bartoletti Formalizing Automated Market Makers in the Lean 4 Theorem Prover 10.4230/OASIcs.FMBC.2024.5
• Massimo Bartoletti, Fabio Fioravanti, Giulia Matricardi, Roberto Pettinau, and Franco Sainas Towards Benchmarking of Solidity Verification Tools 10.4230/OASIcs.FMBC.2024.6
• Derek Sorensen Towards Formally Specifying and Verifying Smart Contract Upgrades in Coq 10.4230/OASIcs.FMBC.2024.7
• Jonas Schiffl and Bernhard Beckert A Practical Notion of Liveness in Smart Contract Applications 10.4230/OASIcs.FMBC.2024.8
• Junkil Park, Teng Zhang, Wolfgang Grieskamp, Meng Xu, Gerardo Di Giacomo, Kundu Chen, Yi Lu, and Robert Chen Securing Aptos Framework with Formal Verification 10.4230/OASIcs.FMBC.2024.9
• Polina Vinogradova, Orestis Melkonian, Philip Wadler, Manuel Chakravarty, Jacco Krijnen, Michael Peyton Jones, James Chapman, and Tudor Ferariu Structured Contracts in the EUTxO Ledger Model 10.4230/OASIcs.FMBC.2024.10