TLA+

TLA+

TLA+ is a formal specification language developed to design, model, document, and verify concurrent systems.

conf Public

CSS 0 CC-BY-4.0 0 0 0 Updated Oct 18, 2022
vscode-tlaplus Public
TLA+ language support for Visual Studio Code

TypeScript 252 MIT 21 52 (2 issues need help) 4 Updated Oct 18, 2022
CommunityModules Public
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

TLA 201 MIT 30 13 3 Updated Oct 18, 2022
tlaplus Public
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Java 1,890 MIT 162 193 (29 issues need help) 15 Updated Oct 14, 2022
tlapm Public
The TLA Proof Manager

OCaml 40 BSD-2-Clause 13 20 8 Updated Oct 4, 2022
Examples Public
A collection of TLA+ specifications of varying complexities

TLA 975 159 6 (1 issue needs help) 5 Updated Oct 1, 2022
azure-cosmos-tla Public
Azure Cosmos TLA+ specifications

TLA 2 MIT 29 3 0 Updated Aug 27, 2022
Survey Public
Results TLA+ Surveys

2 CC0-1.0 0 0 0 Updated May 19, 2022
discussions Public
Discussions

0 MIT 0 0 0 Updated Apr 26, 2022
DrTLAPlus Public
Dr. TLA+ series - learn an algorithm and protocol, study a specification

TLA 702 85 0 0 Updated Apr 18, 2022

Pinned