Tendermint Blockchain Synchronization: Formal Specification and Model Checking.

Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir

Browse the full ISoLA paper archive.