FMBC 2021: 3RD INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR BLOCKCHAINS
PROGRAM

Days: Sunday, July 18th Monday, July 19th

Sunday, July 18th

View this program: with abstractssession overviewtalk overview

08:05-09:05 Session 2
08:05
Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (abstract)
08:25
Towards Verified Price Oracles (abstract)
08:45
Money Grows on (Proof-)Trees: Formalisation and Correctness of the FA1.2 Ledger Standard (abstract)
Monday, July 19th

View this program: with abstractssession overviewtalk overview

08:00-08:55 Session 4
08:00
Towards Contract Modules for the Tezos Blockchain (abstract)
08:20
Formally Documenting Tenderbake (abstract)
08:40
A Technique For Analysing Permissionless Blockchain Protocols (abstract)
09:00-10:00 Session 5: Invited talk
09:00
Formal verification of Move programs for the Diem blockchain (abstract)