default search action
3rd FMBC@CAV 2021: Los Angeles, California, USA [virtual]
- Bruno Bernardo, Diego Marmsoler
:
3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021, July 18-19, 2021, Los Angeles, California, USA (Virtual Conference). OASIcs 95, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-209-9 - Front Matter, Table of Contents, Preface, Conference Organization. 0:1-0:12
- Kinnari Dave, Vilhelm Sjöberg, Xinyuan Sun:
Towards Verified Price Oracles for Decentralized Exchange Protocols. 1:1-1:14 - Murdoch James Gabbay
Money Grows on (Proof-)Trees: The Formal FA1.2 Ledger Standard. 2:1-2:14 - Daniel Britten
Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper). 3:1-3:8 - Sylvain Conchon, Alexandrina Korneva, Çagdas Bozman, Mohamed Iguernlala, Alain Mebsout:
Formally Documenting Tenderbake (Short Paper). 4:1-4:9 - Thi Thu Ha Doan, Peter Thiemann:
Towards Contract Modules for the Tezos Blockchain (Short Paper). 5:1-5:9
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 2024-12-15 01:31 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: