Lists (1)
Starred repositories
10
stars
written in TLA
Clear filter
A collection of TLA⁺ specifications of varying complexities.
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Pluscal/TLA+ modeling of distributed systems/protocols
Reading the linearizability paper with TLA+
tlaplus / azure-cosmos-tla
Forked from Azure/azure-cosmos-tlaAzure Cosmos TLA+ specifications
Some experiments in making exercises for teaching TLA+
Reproduce a Java 21 virtual threads deadlock scenario in TLA+