TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
-
Updated
May 17, 2024 - TLA
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
An instructional website with progressively worked examples of TLA+ specifications and model checking.
TLA+ specification of Flexible Paxos
Synchronous fault-tolerant distributed algorithms encoded in TLA+
TLA+ specification for Succinct Atomic Swap smart contract
TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus
A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
TLA+ specification of Fast Flexible Paxos
📜 WIP Hop Protocol TLA+ Specification
TLA+ specification of the parser for BIP32 path templates
TLA Specification for the "Wolf, goat, and cabbage" puzzle (https://en.wikipedia.org/wiki/Wolf,_goat_and_cabbage_problem)
Add a description, image, and links to the tla-specification topic page so that developers can more easily learn about it.
To associate your repository with the tla-specification topic, visit your repo's landing page and select "manage topics."