en | de

Model Checking

master program

VO2  SS 2009  703521

Slides

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

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

Chapter 3 - Abstractions, Bisimulations, and Simulations

Chapter 4 - Real-Time Systems and Timed CTL

Chapter 5 - The μ-Calculus

Schedule

May 20

May 5

April 30

April 29

April 22

April 21

April 1

March 31

March 25

March 24

March 18

March 17

March 10

March 3