본문으로 건너뛰기

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

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

AI Trends·후원

피드 트렌딩 콜로세움 공지

피드 트렌딩 콜로세움 공지

SMT 솔버 (smt-solver) 용어 설명 | AI Trends

smt-solver

SMT 솔버

고급

수식의 만족 가능성을 판별하는 도구로 소프트웨어 검증 및 분석에 필수적이며 Z3가 대표적인 예시이다.

비슷한 개념

symbolic-execution formal-verification constraint-synthesis formal-methods itp deterministic-verification sast formal-reasoning

← 용어 사전 전체 보기