Formal Modeling and Verification of a Federated Byzantine Agreement Algorithm for Blockchain Platforms

Publication
2019 IEEE International Workshop on Blockchain Oriented Software Engineering (IWBOSE)