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