Blockchain;Consensus algorithm;Safety;Cryptocurrency;federated Byzantine agreement;Stellar Consensus Protocol;UPPAAL

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