형식 검증

핵심 로직에 대해 어떤 수학적/논리적 검증 도구를 사용하는지에 대해 알아갑니다.