수학적 검증
프로그램의 동작이 정해진 사양이나 논리적 규칙을 완벽하게 준수함을 수학적으로 증명하는 기법이다. 할루시네이션을 원천 차단해야 하는 보안 및 국가 기간 시설용 소프트웨어 개발에서 필수적인 신뢰성 확보 수단이다.