형식 검증과 시뮬레이션은 설계 오류를 찾는 방식이 다릅니다. 모든 입력에 대한 증명과 일부 입력의 확인이 갈리는 지점을 정리합니다.