본문으로 건너뛰기
AI Trends
피드
트렌딩
커뮤니티
탐색
보관함
로그인
홈
트렌딩
커뮤니티
보관함
프로필
tla-plus
TLA+
시스템의 정확성을 수학적으로 검증하는 명세 언어. 상태 머신을 정의하고 불변성을 확인하여 시스템 설계의 논리적 오류를 방지한다.
비슷한 개념
formal-reasoning
formal-semantics
formal-methods
state-machine
formal-specification
formal-language
invariant
proof-checker
← 용어 사전 전체 보기
