Bibliotecas escritas en TLA

Examples

Una colección de especificaciones TLA+ de diferentes complejidades (por tlaplus).
  • 1.1k
  • GNU General Public License v3.0

DrTLAPlus

Serie Dr. TLA+: aprenda un algoritmo y un protocolo, estudie una especificación.
  • 757

BlockingQueue

Tutorial "Semanas de depuración pueden ahorrarle horas de TLA+". Cada confirmación de git introduce un nuevo concepto =>¡compruebe el historial de git! (por Lemmy).
  • 465
  • MIT

CommunityModules

Fragmentos, operadores y módulos de TLA+ aportados y seleccionados por la comunidad de TLA+.
  • 228
  • MIT

pgo

PGo es un compilador fuente a fuente de las especificaciones de Modular PlusCal en los programas Go.
  • 143
  • Apache License 2.0

ewd998

Detección de terminación distribuida en un anillo, por Shmuel Safra:.
  • 41
  • MIT

cross-chain-validation

  • 33
  • Apache License 2.0

TLAPLUS_DeadlockEmpire

Especificaciones y modelos para resolver los problemas de DeadlockEmpire usando TLA+ y TLC.
  • 18

TLAplus

Preguntas, respuestas y experimentos de TLA+ (por Isaac-DeFrain).
  • 17
  • Apache License 2.0

raft.tla

Especificación TLA+ para el algoritmo de consenso de Raft.
  • 8

advent-of-tla

Objetivos de AoC en TLA+.
  • 6
  • MIT