Slides

• Chapter 1 - Organization & Overview
     1-up    2-up    4-up
• Chapter 2 - Foundations: Transition Systems and Büchi Automata
     1-up    2-up    4-up
• Chapter 3 - LTL
     1-up    2-up    4-up
• Chapter 4 - Modeling Systems
     1-up    2-up    4-up
• Chapter 5 - Spin
     1-up    2-up    4-up

Schedule

December 16 - Lecture and Exercises

• Chapter 5, discussion of exercises 8 - 11

December 9 - Lecture

• rest of Chapter 4

November 17 (HS E) - Lecture

• rest of Chapter 3, parts of Chapter 4

November 13 (HS F) - Discussion of Exercises

• Exercises 1 - 7

October 28 - Lecture

• rest of Chapter 2, parts of Chapter 3

October 21 - Lecture

• parts of Chapter 2, parts of Chapter 3

October 14 - Lecture

• Chapter 1, parts of Chapter 2, parts of Chapter 3