Библиотеки, написанные на TLA

Examples

Коллекция спецификаций TLA+ различной сложности (от tlaplus).
  • 1.1k
  • GNU General Public License v3.0

DrTLAPlus

Серия Dr. TLA+ - изучите алгоритм и протокол, изучите спецификацию.
  • 757

BlockingQueue

Учебник «Недели отладки могут сэкономить вам часы TLA+». Каждый коммит git вводит новую концепцию =>проверьте историю git! (от Лемми).
  • 465
  • MIT

CommunityModules

Фрагменты, операторы и модули TLA+ созданы и курируются сообществом TLA+.
  • 228
  • MIT

pgo

PGo — это компилятор исходного кода из спецификаций Modular PlusCal в программы Go.
  • 143
  • Apache License 2.0

ewd998

Обнаружение распределенного завершения на кольце, благодаря Шмуэлю Сафре:.
  • 41
  • MIT

cross-chain-validation

  • 33
  • Apache License 2.0

TLAPLUS_DeadlockEmpire

Спецификации и модели для решения задач DeadlockEmpire с помощью TLA+ и TLC.
  • 18

TLAplus

Вопросы, ответы и эксперименты TLA+ (Автор Исаак-ДеФрейн).
  • 17
  • Apache License 2.0

raft.tla

Спецификация TLA+ для алгоритма консенсуса Raft.
  • 8

advent-of-tla

Цели AoC в TLA+.
  • 6
  • MIT