Slides

• Chapter 1 - Organization & Overview
     1-up    2-up    4-up
  (fixed typo on slides 24 and 32: the correct name is "Deep Space 1 spacecraft")

• 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 - Spin
     1-up    2-up    4-up    (Peterson spin examples)

• Chapter 5 - Modeling Systems
     1-up    2-up    4-up

Schedule

Tuesday, December 7, 14:15 - 15:45, 3W04 - Open discussion

• In the dicussion no new material is presented. It serves as an opportunity to ask questions about all topics of the lecture, and to ask questions about arbitrary exercises / previous exams / ...

December 1 - Lecture and Exercises

• Chapter 5, discussion of exercises 10 and 11

November 24 - Lecture

• rest of Chapter 4, Chapter 5

November 17 - Discussion of Exercises

• exercises 6 - 9

November 10 - Lecture

• rest of Chapter 3, parts of Chapter 4

November 3 - Lecture

• beginning of Chapter 3

October 27 - Discussion of exercises

• exercises 1 - 5

October 13 - Lecture

• Chapter 2

October 6 - Lecture

• Chapter 1, parts of Chapter 2