TLA+

Repositories

• tlapm

  The TLA Proof Manager
  OCaml BSD-2-Clause 6 9 4 1 Updated Sep 16, 2020

• tlaplus

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

  java algorithms high-performance verification specifications model-checking mit-license
  1 package Java MIT 96 1,282 103 (22 issues need help) 6 Updated Sep 16, 2020

• conf
  CSS CC-BY-4.0 0 0 0 0 Updated Sep 9, 2020

• Examples

  A collection of TLA+ specifications of varying complexities

  algorithm protocol pluscal tlaplus
  TLA 92 629 3 (1 issue needs help) 0 Updated Sep 1, 2020

• awesome-tlaplus

  Forked from kaelzhang81/awesome-tlaplus

  A curated list of TLA+ resources.
  6 27 1 0 Updated Aug 27, 2020

• CommunityModules

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

  pluscal tlaplus tla-specification
  TLA MIT 12 62 4 0 Updated Aug 20, 2020

• PlusPy

  Python interpreter for TLA+ specifications

  python interpreter tla
  Python MIT 4 51 0 0 Updated Jun 10, 2020

• www

  http://www.tlapl.us
  HTML MIT 0 0 0 0 Updated Apr 27, 2020

• DrTLAPlus

  Dr. TLA+ series

  algorithm protocol pluscal tlaplus
  TLA 61 510 0 0 Updated Jan 28, 2020