Software 교육 특강

 - 정형 모델링 및 정형검증 기초 (NuSMV Model Checker) (2016 Summer)


BASIC INFORMATION

Instructor :       Junbeom Yoo
Office :           New Millennium Bldg. Room 904
E-Mail :           jbyoo@konkuk.ac.kr
Homepage :     http://dslab.konkuk.ac.kr
Course Page :   http://dslab.konkuk.ac.kr/Etc/SWspecialedu/index.htm


DESCRIPTION

본 교육 프로그램은 전산학 분야뿐만 아니라 다양한 분야에 적용 가능한 정형 기법 (Formal Method) 의 기초 과정으로 정형 모델링 및 정형 검증 (Formal Modeling & Formal Verification) 기법에 대하여 다룬다. 정형 모델링과 정형 검증에 대한 기초 교육을 시작으로 모델 체킹 (Model Checking) 도구인 NuSMV 를 사용한 정형 모델링 및 검증에 대한 학습을 수행 한다.


LECTURE OBJECTIVE

1. Formal Modeling 및 Formal Verification 에 대한 기초를 학습한다.
2. Model checking 도구인 NuSMV 사용에 대해 학습 한다.
3. NuSMV 를 위한 모델링 수행을 경험한다.



수업내용 예제




LECTURE IN 2015 winter