TLA+

Repositories

• 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 85 1,167 99 (21 issues need help) 4 Updated Apr 25, 2020

• PlusPy

  Python interpreter for TLA+ specifications

  python interpreter tla
  Python MIT 1 35 0 0 Updated Apr 23, 2020

• CommunityModules

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

  pluscal tlaplus tla-specification
  TLA MIT 9 33 3 0 Updated Apr 17, 2020

• tlapm

  The TLA Proof Manager
  TLA BSD-2-Clause 6 5 3 1 Updated Apr 17, 2020

• Examples

  A collection of TLA+ specifications of varying complexities

  algorithm protocol pluscal tlaplus
  TLA 85 584 3 (1 issue needs help) 0 Updated Mar 29, 2020

• DrTLAPlus

  Dr. TLA+ series

  algorithm protocol pluscal tlaplus
  TLA 57 468 0 0 Updated Jan 28, 2020

• conf
  CSS CC-BY-4.0 0 0 0 0 Updated Sep 18, 2019