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 ¡¡ ¡¡ ¡¡ ¡¡