Advanced Software Engineering (고급 소프트웨어공학)
- Introduction to Model Checking
Theories and Tools
(2015 Spring for graduate students)
+ 논문 쓰기로 한 팀은, 논문 제출 완료 시 A+ 학점 나갑니다. (~06.24)
+ 비논문 제출 팀의 최고 학점은 A
+ 모델링/검증을 수행도 못 해 본 팀은 B+ 이 최고 학점입니다.
Schedule
| Week | Date | Lecture | Projects & Presentations |
| 1 | 03.02 | Course
Introduction (Lecture
Note) Chapter 1. Automata Chapter 2. Temporal Logic Chapter 3. Model Checking 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 |
04.20 - 중간고사 05.25 - 공휴일 06.15 - 기말고사 |
| 2 | 03.09 | ||
| 3 | 03.16 | ||
| 4 | 03.23 | ||
| 5 | 03.30 | ||
| 6 | 04.06 | ||
| 7 | 04.13 | ||
| 8 | 04.20 | ||
| 9 | 04.27 | ||
| 10 | 05.04 | ||
| 11 | 05.11 | ||
| 12 | 05.18 | ||
| 13 | 05.25 | ||
| 14 | 06.01 | ||
| 15 | 06.08 | ||
| 16 | 06.15 |
Team Projects