Advanced Software Engineering ( Ʈ)
- Introduction to Formal Methods      

(2010 Fall for graduate students)

Course Syllabus

2010.08.17 :  09.03() ù մϴ.
2010.10.01 :  10.08() ITRC ü ũ(ֵ) ްմϴ. ֽϴ.
2010.10.12 :  ߰ ġ ǽմϴ. ߰ Ⱓ մϴ. ^^;
2010.11.19 :  ߰ : 11.26() 10:00 ~ 11:00 , 1207ȣ
                ۹ǥ : 11.26() 11:00 ~ 12:00 , 1207ȣ , PPT 5 غ, ̸ .
2010.11.23 :  12.03() APSEC 2010 ȸ ްմϴ.
                 


Schedule

Week Date Lecture Etc.
1 09.03
   Course Introduction (Course material)
   Introduction to Formal Methods (paper, ppt)
 
   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


   ۹ǥ : V&V Ұ   V&V Ұ
   ߰ǥ:  1 V&V
   ǥ : 2 V&V
2 09.10
3 09.17
4 09.24
5 10.01
6 10.08 ް (ITRC ũ )
7 10.15
8 10.22
9 10.29
10 11.05
11 11.12
12 11.19
13 11.26 ߰ , ۹ǥ
14 12.03 ް (APSEC 2010 )
15 12.10 ߰ǥ
16 12.17    ǥ


Team Project

ǥ ߰ǥ ǥ
T1

201072889 , 201072894

T2

201071197 ̻ , 201072892 ̵ , 201072890

T3
T4
T5
T6
T7
T8
T9