Bibliothèques écrites en TLA

Examples

Une collection de spécifications TLA+ de complexité variable (par tlaplus).
  • 1.1k
  • GNU General Public License v3.0

DrTLAPlus

Série Dr. TLA+ - apprenez un algorithme et un protocole, étudiez une spécification.
  • 757

BlockingQueue

Tutoriel "Des semaines de débogage peuvent vous faire économiser des heures de TLA+". Chaque git commit introduit un nouveau concept =>vérifiez l'historique de git! (par lemy).
  • 465
  • MIT

CommunityModules

Extraits de code, opérateurs et modules TLA+ contribués et organisés par la communauté TLA+.
  • 228
  • MIT

pgo

PGo est un compilateur source à source des spécifications Modular PlusCal aux programmes Go.
  • 143
  • Apache License 2.0

ewd998

Détection de terminaison distribuée sur un anneau, due à Shmuel Safra:.
  • 41
  • MIT

cross-chain-validation

  • 33
  • Apache License 2.0

TLAPLUS_DeadlockEmpire

Spécifications et modèles pour résoudre les problèmes de DeadlockEmpire en utilisant TLA+ et TLC.
  • 18

TLAplus

Questions, réponses et expériences TLA+ (par Isaac-DeFrain).
  • 17
  • Apache License 2.0

raft.tla

Spécification TLA+ pour l'algorithme de consensus Raft.
  • 8

advent-of-tla

Objectifs AoC dans TLA+.
  • 6
  • MIT