TLA+ Tools 웹 lamport.azurewebsites.net 2편원문 보기 ParityPay로 검증하는 결제 정합성 12 - 실험 41종이 못 밟는 경로를 모델 검사가 5단계 만에 찾았다참고 링크: TLA+ Tools모델 검사 입문 - TLA+, TLC, 상태 공간, 불변조건, 반례참고 링크: TLA+ Tools 모든 출처