Owner

tlaplus

9 indexed repositories · View on GitHub

• tlaplus

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

  Java · 3058 stars

• Examples

  A collection of TLA⁺ specifications of varying complexities.

  TLA · 1570 stars

• vscode-tlaplus

  TLA+ language support for Visual Studio Code

  TypeScript · 435 stars

• CommunityModules

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

  TLA · 315 stars

• tlapm

  The TLA⁺ Proof Manager

  OCaml · 124 stars

• foundation

  TLA+ Foundation

  HTML · 34 stars

• tla-by-example

  TypeScript · 10 stars

• model-checker-hardening

  Hardening TLC and Apalache through systematic, differential, fuzz, and regression testing to improve the reliability of TLA+ model checking

  Java · 7 stars

• ValidationTestSuite

  Tool qualification tests and reports for the TLA+ model checker

  Python · 6 stars