TLA+ (tlaplus)

TLA+

tlaplus

Geek Repo

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

Home Page:http://lamport.azurewebsites.net/tla/tla.html

Twitter:@tlaplus

Github PK Tool:Github PK Tool

TLA+'s repositories

tlaplus

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

Language:JavaLicense:MITStargazers:2192Issues:55Issues:744

Examples

A collection of TLA⁺ specifications of varying complexities

Language:TLALicense:NOASSERTIONStargazers:1208Issues:45Issues:38

DrTLAPlus

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

Language:TLAStargazers:774Issues:106Issues:0

vscode-tlaplus

TLA+ language support for Visual Studio Code

Language:TypeScriptLicense:MITStargazers:326Issues:12Issues:182

CommunityModules

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

Language:TLALicense:MITStargazers:249Issues:16Issues:54

awesome-tlaplus

A curated list of TLA+ resources.

PlusPy

Python interpreter for TLA+ specifications

Language:PythonLicense:MITStargazers:109Issues:11Issues:4

tlapm

The TLA Proof Manager

Language:OCamlLicense:BSD-2-ClauseStargazers:51Issues:8Issues:71

PlusCalCheatSheet

PlusCal Cheat Sheet by Stephan Merz

Language:TeXLicense:MITStargazers:20Issues:6Issues:0

azure-cosmos-tla

Azure Cosmos TLA+ specifications

Language:TLALicense:MITStargazers:17Issues:2Issues:4

rfcs

RFCs for changes to the TLA+ specification language

lecture

The TLA+ Video Course by Leslie Lamport

Language:HTMLLicense:NOASSERTIONStargazers:8Issues:6Issues:0

tlaplus-standard

A collection of various standards, proposed or established, related to TLA+

Language:TLALicense:MITStargazers:3Issues:0Issues:0

Survey

Results TLA+ Surveys

www

http://www.tlapl.us

Language:HTMLLicense:MITStargazers:1Issues:6Issues:1

ConcurrentSCC

Prototypes of Concurrent Strongly Connected Components (SCC) algorithms

Language:JavaLicense:MITStargazers:0Issues:3Issues:0
Language:CSSLicense:CC-BY-4.0Stargazers:0Issues:7Issues:0

discussions

Discussions

License:MITStargazers:0Issues:6Issues:0

tlapm_alternative_parser_experiment

The rewrite of TLAPM, the TLAPS proof manager

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:3Issues:19