본문으로 건너뛰기

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

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

AI Trends·후원

피드 트렌딩 커뮤니티 공지

피드 트렌딩 커뮤니티 공지

모델 체커 (model-checker) 용어 설명 | AI Trends

model-checker

모델 체커

중급

시스템의 모든 가능한 상태와 동작 경로를 탐색하여 정의된 속성이 위반되는지 자동으로 확인하는 도구.

비슷한 개념

ctl-model-checking model-based-testing state-machine state-inspection automated-behavioral-audit automated-reasoning formal-methods smt-solver

← 용어 사전 전체 보기