/PBFT-TLA

TLA+ specification of the Practical BFT protocol

Primary LanguageTLA

Watchers