Tags
2 페이지
Formal-Verification
프로그램을 단 한 번도 실행하지 않고 어떻게 '버그가 절대 없음'을 증명하는가: 형식 검증과 모델 체킹의 과학
타입 이론과 커리-하워드 동형대응: 명제=타입, 증명=프로그램의 심오한 조화
