A gently curated list of companies using verification formal methods in industry
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
Some examples and notes while learning TLA+ modeling language.
The TLA+ Video Course by Leslie Lamport
📜 WIP Hop Protocol TLA+ Specification
A collection of various TLA+ examples and helper functions for learning.
TLA+ specification of a TCP/IP 3-way handshake in multi-client environment.
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)
Markdown to LaTeX
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."