Slides

• Chapter 1 - Organization & Overview
     1-up    2-up    4-up    overlays
  

• Chapter 2 - Foundations: Transition Systems and Büchi Automata (full version)
     1-up    2-up    4-up    overlays

• Chapter 3 - LTL (full version)
     1-up    2-up    4-up    overlays

• Chapter 4 - Spin
     1-up    2-up    4-up    (Peterson spin examples)

• Chapter 5 - Modeling Systems (full version)
     1-up    2-up    4-up

Schedule

December 14

• Exam

December 7

• discussion of exercises, Chapter 5

November 30

• discussion of exercises, Chapter 3, Chapter 4, Chapter 5

November 23

• discussion of exercises, Chapter 3

November 16

• Chapter 3

November 9

• discussion of exercises, Chapter 3

October 19

• Chapter 2

October 12

• Chapter 1, parts of Chapter 2