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 - CTL^*
     1-up    2-up    4-up
• Chapter 5 - Modeling Systems
     1-up    2-up    4-up

Schedule

November 12 - Discussion of Exercises

• The discussion starts at 12:15!
• Exercises 6 - 12

November 5 - Lecture

• Chapter 5

October 29 - Lecture

• Chapter 4

October 22 - Lecture

• rest of Chapter 2, parts of Chapter 3

October 15 - Discussion of Exercises

• Exercises 1 - 5

October 8 - Lecture

• parts of Chapter 2, parts of Chapter 3

October 1 - Lecture

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