TLA+

icon indicating a website link http://lamport.azurewebsites.net/tla/tla.html icon indicating an email [email protected]

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

Results 11 repositories owned by TLA+

tlaplus

2.2k
Stars
184
Forks
Watchers

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

verified publisher icon tlaplus

vscode-tlaplus

333
Stars
29
Forks
Watchers

TLA+ language support for Visual Studio Code

verified publisher icon tlaplus

PlusPy

111
Stars
9
Forks
Watchers

Python interpreter for TLA+ specifications

verified publisher icon tlaplus

Examples

1.2k
Stars
189
Forks
Watchers

A collection of TLA⁺ specifications of varying complexities

verified publisher icon tlaplus

DrTLAPlus

783
Stars
98
Forks
Watchers

Dr. TLA+ series - learn an algorithm and protocol, study a specification

verified publisher icon tlaplus

CommunityModules

262
Stars
37
Forks
Watchers

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

verified publisher icon tlaplus

awesome-tlaplus

114
Stars
18
Forks
Watchers

A curated list of TLA+ resources.

verified publisher icon tlaplus

PlusCalCheatSheet

20
Stars
2
Forks
Watchers

PlusCal Cheat Sheet by Stephan Merz

verified publisher icon tlaplus

tlapm

51
Stars
17
Forks
Watchers

The TLA Proof Manager

verified publisher icon tlaplus

azure-cosmos-tla

17
Stars
5
Forks
Watchers

Azure Cosmos TLA+ specifications

verified publisher icon tlaplus