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 ¿¹Á¦ - ¿øÀڷ½ýºÅÛ Áß°£°í»ç: 04.20 |
| 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 |
¡¡