본문으로 건너뛰기

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

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

AI Trends·후원

피드 트렌딩 커뮤니티 공지

피드 트렌딩 커뮤니티 공지

형식 기법 (formal-methods) 용어 설명 | AI Trends

formal-methods

형식 기법

고급

수학적 모델을 바탕으로 소프트웨어나 하드웨어 시스템의 사양을 명시하고 검증하여 결함을 찾아내는 방법론이다. 높은 신뢰성이 요구되는 시스템 설계에 활용된다.

비슷한 개념

formal-semantics formal-reasoning formal-verification model-based-systems-engineering formal-framework smt formal-logic formal-language

← 용어 사전 전체 보기