Published in: OASIcs, Volume 84, 2nd Workshop on Formal Methods for Blockchains (FMBC 2020)
Kristijan Rupić, Lovro Rožić, and Ante Derek. Mechanized Formal Model of Bitcoin’s Blockchain Validation Procedures. In 2nd Workshop on Formal Methods for Blockchains (FMBC 2020). Open Access Series in Informatics (OASIcs), Volume 84, pp. 7:1-7:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{rupic_et_al:OASIcs.FMBC.2020.7, author = {Rupi\'{c}, Kristijan and Ro\v{z}i\'{c}, Lovro and Derek, Ante}, title = {{Mechanized Formal Model of Bitcoin’s Blockchain Validation Procedures}}, booktitle = {2nd Workshop on Formal Methods for Blockchains (FMBC 2020)}, pages = {7:1--7:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-169-6}, ISSN = {2190-6807}, year = {2020}, volume = {84}, editor = {Bernardo, Bruno and Marmsoler, Diego}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2020.7}, URN = {urn:nbn:de:0030-drops-134209}, doi = {10.4230/OASIcs.FMBC.2020.7}, annote = {Keywords: blockchain, Bitcoin, program verification, Coq} }
Feedback for Dagstuhl Publishing