본문으로 건너뛰기

AI Trends

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

둘러보기

피드 트렌딩 커뮤니티 공지사항

탐색

기술 태그 AI 용어 사전

서비스

서비스 소개 문의

정책

운영 정책 개인정보 처리방침

© 2026 AI Trends. All rights reserved.후원

피드 트렌딩 커뮤니티

홈 트렌딩 검색 커뮤니티 프로필

Z3 형식 검증 (Z3 formal verification) 용어 설명 | AI Trends

Z3 formal verification

Z3 형식 검증

중급

Z3 SMT 솔버를 사용해 정형화된 문제의 전제와 쿼리가 주장 답을 지지하는지 여부를 기계적으로 확인하는 절차이다.

비슷한 개념

z3-theorem-prover smt-solver formal-reasoning formal-language smt automated-reasoning auto-formalization formal-methods

← 용어 사전 전체 보기