본문으로 건너뛰기
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
← 용어 사전 전체 보기