en | de

Model Checking

master program

VO2  SS 2011  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 - The μ-Calculus

Chapter 5 - Real-Time Systems and Timed CTL

Schedule

June 22

June 16

June 15

June 8

May 25

May 18

May 11

May 4

April 13

April 6

March 30

March 23

March 16

March 8