tla-specification topic
SASwap_TLAplus_spec
TLA+ specification for Succinct Atomic Swap smart contract
practical-fm
A gently curated list of companies using verification formal methods in industry
CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
pragmaticformalmodeling
An instructional website with progressively worked examples of TLA+ specifications and model checking.
rutschblock
A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
tezedge-specification
TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus
synchronous-tla-benchmarks
Synchronous fault-tolerant distributed algorithms encoded in TLA+
ffpaxos-tlaplus
TLA+ specification of Fast Flexible Paxos
fpaxos-tlaplus
TLA+ specification of Flexible Paxos