Model Checking Nondeterministic Behaviours in the Tendermint Byzantine Fault Tolerant Blockchain Consensus Protocol.

Yisong Yu, Zhe Hou, Naipeng Dong, Jin Song Dong

Browse the full ICECCS paper archive.