TLA+
TLA+ is a formal specification language developed to design, model, document, and verify concurrent systems.
Pinned Repositories
awesome-tlaplus
A curated list of TLA+ resources.
azure-cosmos-tla
Azure Cosmos TLA+ specifications
CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
DrTLAPlus
Dr. TLA+ series - learn an algorithm and protocol, study a specification
Examples
A collection of TLA⁺ specifications of varying complexities
foundation
TLA+ Foundation
PlusPy
Python interpreter for TLA+ specifications
tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
tlapm
The TLA Proof Manager
vscode-tlaplus
TLA+ language support for Visual Studio Code
TLA+'s Repositories
tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
tlaplus/Examples
A collection of TLA⁺ specifications of varying complexities
tlaplus/DrTLAPlus
Dr. TLA+ series - learn an algorithm and protocol, study a specification
tlaplus/vscode-tlaplus
TLA+ language support for Visual Studio Code
tlaplus/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
tlaplus/awesome-tlaplus
A curated list of TLA+ resources.
tlaplus/PlusPy
Python interpreter for TLA+ specifications
tlaplus/tlapm
The TLA Proof Manager
tlaplus/foundation
TLA+ Foundation
tlaplus/azure-cosmos-tla
Azure Cosmos TLA+ specifications
tlaplus/PlusCalCheatSheet
PlusCal Cheat Sheet by Stephan Merz
tlaplus/rfcs
RFCs for changes to the TLA+ specification language
tlaplus/lecture
The TLA+ Video Course by Leslie Lamport
tlaplus/patterns
tlaplus/tlaplus-standard
A collection of various standards, proposed or established, related to TLA+
tlaplus/Survey
Results TLA+ Surveys
tlaplus/www
http://www.tlapl.us
tlaplus/ConcurrentSCC
Prototypes of Concurrent Strongly Connected Components (SCC) algorithms
tlaplus/conf
tlaplus/tlapm_alternative_parser_experiment
The rewrite of TLAPM, the TLAPS proof manager