의미적 검증
도구 출력이나 모델 응답의 구조적 유사성 뒤에 숨은 의미적 차이를 판별하는 과정이다. 표면적 로그나 시계열 신호만으로는 식별할 수 없는 오류 사례를 잡기 위해 정합성 검사, 사실 검증, 도메인 규칙 적용 같은 의미적 검증 기법이 필요하다. 글에서는 통계적 시계열 검출기가 한계에 부딪힌 이유를 의미적 차이에서 찾았고 이 영역을 향후 연구 대상으로 제시했다.