설명
형식적 소프트웨어 명세, 개발 및 검증 방법론. 정리 증명, 자동화된 연역 및 기타 관련 형식기법을 사용한 소프트웨어 정합성 확보. 프로그램 검증 및 보안 계산에의 응용.
원문 참조 텍스트
Methodologies in formal software specification, development, and verification. The use of theorem proving, automated deduction, and other related formal methods for software correctness. Applications in program verification and secure computation.
출처 및 참고문헌
날짜와 출처는 정보를 확인하는 데 도움이 되도록 보관됩니다. 번역은 읽기 편의를 위해 제공되며 조건과 요건은 공식 출처가 기준입니다.
출처 참조 : https://calendar.carleton.ca/grad/courses/COMP/