www.prismmodelchecker.org
[LV20] Cosimo Laneve and Adele Veschetti. A Formal Analysis of the Bitcoin Protocol. In Recent Developments in the Design and Implementation of Programming Languages. 2020. [Analyses Nakamoto’s Bitcoin protocol using an extension of PRISM.]
Links: [Google] [Google Scholar]

Publications