- 정형 모델링 및 정형검증 기초 (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
