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

Shmuel Safra로 인한 링의 분산 종료 감지:.
  • 41
  • MIT

cross-chain-validation

  • 33
  • Apache License 2.0

TLAPLUS_DeadlockEmpire

TLA+ 및 TLC를 사용하여 DeadlockEmpire 문제를 해결하기 위한 사양 및 모델.
  • 18

TLAplus

TLA+ 질문, 답변 및 실험(Isaac-DeFrain 작성).
  • 17
  • Apache License 2.0

raft.tla

Raft 합의 알고리즘에 대한 TLA+ 사양.
  • 8

advent-of-tla

TLA+의 AoC 목표.
  • 6
  • MIT