Slides

Chapter 1 - Overview and Model Checking On-the-Fly

• transparencies
     1-up    2-up    4-up

Chapter 2 - F1S, S1S, and Translation into Büchi-Automata

• transparencies
     1-up    2-up    4-up

Chapter 3 - Abstractions, Bisimulations, and Simulations

• transparencies
     1-up    2-up    4-up

Chapter 4 - Real-Time Systems and Timed CTL

• transparencies
     1-up    2-up    4-up

Chapter 5 - The μ-Calculus

• transparencies
     1-up    2-up    4-up

Schedule

May 20

• Discussion of Exercises 20 - 26

May 5

• Chapter 5, Exercise 19

April 30

• Chapter 5

April 29

• Discussion of Exercises 13, 15 - 18

April 22

• Chapter 5

April 21

• Chapter 4

April 1

• Chapter 4

March 31

• Discussion of Exercises 9 - 12, 14

March 25

• Chapter 3

March 24

• Discussion of Exercises 1 - 8

March 18

• Chapter 3

March 17

• Chapter 2

March 10

• Chapter 2

March 3

• Chapter 1