본문으로 건너뛰기

피드 트렌딩 커뮤니티 공지사항 기술 태그 AI 용어 사전 서비스 소개 문의 운영 정책 개인정보 처리방침

매일 업데이트되는 글로벌 소스의 AI/ML 뉴스를 수집하고 한국어로 요약합니다.

AI Trends·후원

피드 트렌딩 커뮤니티 공지

피드 트렌딩 커뮤니티 공지

TLA+ (tla-plus) 용어 설명 | AI Trends

tla-plus

TLA+

중급

시스템의 정확성을 수학적으로 검증하는 명세 언어. 상태 머신을 정의하고 불변성을 확인하여 시스템 설계의 논리적 오류를 방지한다.

비슷한 개념

formal-reasoning formal-semantics formal-methods state-machine formal-specification formal-language invariant model-checker

← 용어 사전 전체 보기