Giuliano Losa, Mike Dodds. On the Formal Verification of the Stellar Consensus Protocol. In Bruno Bernardo, Diego Marmsoler, editors, 2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July 20-21, 2020, Los Angeles, California, USA (Virtual Conference). Volume 84 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
Abstract is missing.