Advanced Software Engineering (고급 소프트웨어공학)
 - Introduction to Model Checking Theories and Tools  
(2022 Spring for graduate students)
 

Course Syllabus
 

2022.03.10 :  03.14 / 03.21 2주 동안 KOCW로 이론강의를 수강합니다. (1~3장)
                03.28 (4주차) 부터는 대면강의 시작합니다!  
 

Schedule

Week Date Lecture Projects & Presentations
1 03.07

   Course Introduction (Lecture Note)
    
   Chapter 1. Automata  (KOCW)
   Chapter 2. Temporal Logic  (KOCW)
   Chapter 3. Model Checking  (KOCW)
   Chapter 4. Symbolic Model Checking
   Chapter 5. Timed Automata
   Chapter 6. Reachability Properties
   Chapter 7. Safety Properties
   Chapter 8. Liveness Properties
   Chapter 9. Deadlock-freeness
   Chapter 10. Fairness Properties 

   Statecharts
   NuSMV

 
2 03.14
3 03.21
4 03.28
5 04.04
6 04.11
7 04.18
8 04.25
9 05.02
10 05.09
11 05.16
12 05.23
13 05.30
14 06.06 (휴일)
15 06.13
16 06.20

 

 

KOCW 강의 링크 :  http://www.kocw.or.kr/home/cview.do?cid=ce3fa349e18d7875

 

Team Projects

발표자 발표 #1

자판기
(NuSMV 1차)
발표 #2

자판기
(NuSMV 2차)
Proposal 최종발표 (제목)
허윤아 발표자료, 소스코드 발표자료, 소스코드 발표자료 v2 발표자료
송승현 발표자료, 소스코드 Proposal,발표자료(수정중)소스코드(수정중) 발표자료 v2 발표자료
최미영 발표자료, 소스코드 발표자료, 소스코드 발표자료 v2 발표자료
조문충 발표자료, 소스코드 발표자료, 소스코드 발표자료 v2 발표자료