Introduction to Formal Methods (Á¤Çü±â¹ý °³·Ð)      

(2010 Spring for graduate students in SOGANG University)
¡¡

Text :
   - System and Software Verification : Model Checking Techniques and Tools (Springer, 1999)
¡¡

Syllabus
¡¡

Schedule

WEEKS DATE Course
1 03.02  Introduction to Formal Specification (paper)
2 03.09  Chapter 1. Automata
 Chapter 2. Temporal Logic
 Chapter 3. 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
 Chapter 11. Abstraction Methods
¡¡

 Á¤Çü±â¹ý NuSCR ¿¹Á¦ - ¿øÀڷ½ýºÅÛ
 Á¤Çü±â¹ý SPIN ¿¹Á¦
 Á¤Çü±â¹ý UPPAAL ¿¹Á¦ (1 , 2)

 Áß°£°í»ç: 04.20
 ±â¸»°í»ç: 06.15

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

¡¡