Informal Systems at FMBC 2020
20 Jul 2020
AT FMBC, the 2nd Workshop on Formal Methods for Blockchains, we presented a paper titled, “Formal Specifications and Model Checking of the Tendermint Blockchain Synchronization Protocol”. In this presentation, Chief Scientist, Zarko Milosevic, gives a great overview of the paper.