Logic & Formal Verification
명제 및 서술 논리부터 시작하여, 시스템의 올바름을 수학적으로 증명하는 형식 검증 기법을 다루는 학습 노드입니다.
용어3
verification
이 용어로 연결된 기록을 섹션별로 살펴봅니다.
이 용어로 연결된 기록을 섹션별로 살펴봅니다.
명제 및 서술 논리부터 시작하여, 시스템의 올바름을 수학적으로 증명하는 형식 검증 기법을 다루는 학습 노드입니다.
소스 코드 레벨에서 프로그램이 명세대로 동작함을 수학적으로 입증하는 호어 논리와 루프 불변량, 그리고 정적 분석 기법을 통해 소프트웨어 무결성을 다루는 학습 노드입니다.
소프트웨어 결함을 사전에 탐지하고 품질을 보증하기 위한 테스트 설계 원칙과 수작업/자동화 검증(V&V) 역학을 배웁니다.