All Categories → No Category → tla-specification

Top 3 tla-specification open source projects

CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

✭ 167

TLA java shell pluscal tlaplus tla-specification

TLA+ specification of Flexible Paxos

✭ 32

TLA paxos distributed-algorithms tla-specification

tezedge-specification

TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus

✭ 19

TLA java formal-verification tezos tlaplus tla-specification tezos-blockchain

1-3 of 3 tla-specification projects