Title | ||
---|---|---|
Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper). |
Abstract | ||
---|---|---|
Blockchain synchronization is one of the core protocols of Tendermint blockchains. In this short paper, we discuss our recent efforts in formal specification of the protocol and its implementation, as well as some initial model checking results. We demonstrate that the protocol quality and understanding can be improved by writing specifications and model checking them. |
Year | DOI | Venue |
---|---|---|
2020 | 10.4230/OASIcs.FMBC.2020.10 | FMBC@CAV |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sean Braithwaite | 1 | 0 | 0.34 |
Ethan Buchman | 2 | 1 | 1.03 |
Igor Konnov | 3 | 57 | 12.06 |
Zarko Milosevic | 4 | 0 | 0.34 |
Ilina Stoilkovska | 5 | 0 | 0.68 |
Josef Widder | 6 | 229 | 23.99 |
Anca Zamfir | 7 | 0 | 0.34 |