tlaplus의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
TLC는 TLA+로 작성된 명세의 모델 체커입니다. TLA+Toolbox는 TLA+용 IDE입니다.
다양한 복잡성을 가진 TLA⁺ 명세 모음
