Bibliotecas escritas em TLA

Examples

Uma coleção de especificações TLA+ de várias complexidades (por tlaplus).
  • 1.1k
  • GNU General Public License v3.0

DrTLAPlus

Série Dr. TLA+ - aprenda um algoritmo e protocolo, estude uma especificação.
  • 757

BlockingQueue

Tutorial "Semanas de depuração podem economizar horas de TLA+". Cada git commit introduz um novo conceito =>verifique o histórico do git! (por lemmy).
  • 465
  • MIT

CommunityModules

Trechos, operadores e módulos TLA+ fornecidos e selecionados pela comunidade TLA+.
  • 228
  • MIT

pgo

PGo é um compilador source to source das especificações Modular PlusCal para programas Go.
  • 143
  • Apache License 2.0

ewd998

Detecção de terminação distribuída em um anel, devido a Shmuel Safra:.
  • 41
  • MIT

cross-chain-validation

  • 33
  • Apache License 2.0

TLAPLUS_DeadlockEmpire

Especificações e modelos para resolver os problemas do DeadlockEmpire usando TLA+ e TLC.
  • 18

TLAplus

Perguntas, respostas e experimentos TLA+ (por Isaac-DeFrain).
  • 17
  • Apache License 2.0

raft.tla

Especificação TLA+ para o algoritmo de consenso Raft.
  • 8

advent-of-tla

Metas de AoC em TLA+.
  • 6
  • MIT