default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd FMBC@CAV 2020: Los Angeles, CA, USA (Virtual Conference)
- Bruno Bernardo, Diego Marmsoler
:
2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, Los Angeles, California, USA (Virtual Conference), July 20-21, 2020. OASIcs 84, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-169-6 - Front Matter, Table of Contents, Preface, Conference Organization. 0:1-0:12
- Grigore Rosu:
Formal Design, Implementation and Verification of Blockchain Languages Using K (Invited Talk). 1:1-1:1 - Ákos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie:
Formal Specification and Verification of Solidity Contracts with Events (Short Paper). 2:1-2:9 - Maria Anna Schett, Julian Nagele:
Populating the Peephole Optimizer of a Smart Contract Compiler. 3:1-3:15 - João Santos Reis, Paul Andrew Crocker, Simão Melo de Sousa:
Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts. 4:1-4:12 - Colin Boyd, Kristian Gjøsteen, Shuang Wu:
A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract. 5:1-5:13 - Andreas Lochbihler, Ognjen Maric:
Authenticated Data Structures as Functors in Isabelle/HOL. 6:1-6:15 - Kristijan Rupic, Lovro Rozic, Ante Derek:
Mechanized Formal Model of Bitcoin's Blockchain Validation Procedures. 7:1-7:14 - Ramon Boss, Kai Brünnler, Anna Doukmak:
Towards Verifying the Bitcoin-S Library (Short Paper). 8:1-8:9 - Giuliano Losa, Mike Dodds:
On the Formal Verification of the Stellar Consensus Protocol. 9:1-9:9 - Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir:
Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper). 10:1-10:8 - Florian Kammüller, Uwe Nestmann:
Inter-Blockchain Protocols with the Isabelle Infrastructure Framework. 11:1-11:12
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 2026-09-03 22:33 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
