GitHub repository: shinsa82/fabric-formal-model
Primary language: TeX
Description: Formal Model of Hyperledger Fabric, a permissioned distributed ledger, using TLA+.