heidihoward / pbft-tlaplus

Formal specification of PBFT in TLA+
MIT License
7 stars 1 forks source link

PBFT TLA+

Formal specification of PBFT in TLA+