Skip to content
@tlaplus

TLA+

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

Pinned Loading

  1. tlaplus tlaplus Public

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

    Java 2.4k 211

  2. Examples Examples Public

    A collection of TLA⁺ specifications of varying complexities.

    TLA 1.4k 206

  3. DrTLAPlus DrTLAPlus Public

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

    TLA 832 100

  4. vscode-tlaplus vscode-tlaplus Public

    TLA+ language support for Visual Studio Code

    TypeScript 380 41

  5. CommunityModules CommunityModules Public

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

    TLA 285 39

  6. tlapm tlapm Public

    The TLA⁺ Proof Manager

    OCaml 77 24

Repositories

Showing 10 of 21 repositories
View all repositories