CTL 모델 체킹
계산 트리 논리(Computation Tree Logic)를 사용하여 시스템의 상태 변화를 트리 구조로 모델링하고 검증하는 기법이다. 시스템이 도달할 수 있는 모든 경로에서 특정 안전 속성이 항상 유지되는지 확인하는 데 사용된다.
LLM 할루시네이션, 수학적 정형 검증으로 완벽 차단한다