모델 기반 감사자
결정론적 검사로 판정되지 않은 사례에서만 제한된 판단을 내리도록 상자화된 모델과 이를 제어하는 코드가 결합된 구성으로, 근거가 불충분하면 '미검증'으로 기록하는 규칙을 따른다.
