어떤 주장에 정확성 기술 증명 프로그램 입력, 출력 및 중간 상태를 설명 하는 작성, 정리 된 출력 주장의 만족도 입력된 주장의 만족도 관한 개발 되 고는 정리 증명은 또는 유도 함으로써 증거를 사용 하 여 반증.