HRD 콘텐츠
로그인
소프트웨어검증
- 담당교수
- 유준범
- 강의수
- 14
- 수강
- 786
- 제작연도
- NCS분류
- 공학>컴퓨터ㆍ통신>소프트웨어공학
- 강의설명
- This course introduces formal methods, used to guarantee safety and reliability of safety-critical software, to undergraduate senior students. It consists of formal specification and formal verification. It looks into basic theories of several widely-used ones, and then confirms their features and pros/cons through team projects.
