Formal Verification 2 ParityPay로 검증하는 결제 정합성 12 - 실험 41종이 못 밟는 경로를 모델 검사가 5단계 만에 찾았다 2026/09/21 모델 검사 입문 - TLA+, TLC, 상태 공간, 불변조건, 반례 2024/12/07