tlaplus topic
BlockingQueue
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
ewd998
Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
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
apalache
APALACHE: symbolic model checker for TLA+ and Quint
Examples
A collection of TLA⁺ specifications of varying complexities
DrTLAPlus
Dr. TLA+ series - learn an algorithm and protocol, study a specification
CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
tlaplus-graph-explorer
A static web application to explore and animate a TLA+ state graph.
tlacli
A script for running TLA+/TLC from the command line