An open API service indexing awesome lists of open source software.

https://github.com/isaac-defrain/bft-specs

TLA+ specifications for BFT algorithms
https://github.com/isaac-defrain/bft-specs

byzantine-fault-tolerance fault-detection formal-specification

Last synced: 2 months ago
JSON representation

TLA+ specifications for BFT algorithms

Awesome Lists containing this project

README

        

# bft-specs

TLA+ specifications of Byzantine fault tolerant (BFT) algorithms