pdf-format: |
|
@InProceedings{losa_et_al:OASIcs:2020:13422, author = {Giuliano Losa and Mike Dodds}, title = {{On the Formal Verification of the Stellar Consensus Protocol}}, booktitle = {2nd Workshop on Formal Methods for Blockchains (FMBC 2020)}, pages = {9:1--9:9}, series = {OpenAccess Series in Informatics (OASIcs)}, ISBN = {978-3-95977-169-6}, ISSN = {2190-6807}, year = {2020}, volume = {84}, editor = {Bruno Bernardo and Diego Marmsoler}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2020/13422}, URN = {urn:nbn:de:0030-drops-134226}, doi = {10.4230/OASIcs.FMBC.2020.9}, annote = {Keywords: Consensus, Blockchains, First-Order Logic, Stellar, Ivy Prover, Decidability} }
Keywords: | Consensus, Blockchains, First-Order Logic, Stellar, Ivy Prover, Decidability | |
Seminar: | 2nd Workshop on Formal Methods for Blockchains (FMBC 2020) | |
Issue date: | 2020 | |
Date of publication: | 11.12.2020 |