Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Veranstaltung
Übersicht  |  Zeit/Ort  |  Veranstalter  |  Literatur
Materialien
Vorlesungsmaterial
Leistungsnachweis
Prüfungskriterien


Verifikation probabilistischer Systeme - Sommersemester 2013

Material


Vorlesungsfolien

00 - Administratives
01 - Einführung
02 - DTMCs
03 - PCTL und Bisimulationen
04 - Model Checking für PCTL und DTMCs
05 - Markow-Reward-Modelle
06 - Markow-Entscheidungsprozesse
07 - MDP-Erreichbarkeit
08 - Model Checking für MDPs
09 - PRISM-Modelle
10 - CTMCs
11 - Eigenschaften von CTMCs
12 - Model Checking für CTMCs
13 - Analyse von Statecharts


Übungsblätter

Blatt 1
Blatt 2
Blatt 3
Blatt 4
Blatt 5


Zusatzmaterial

Tutorial zu stochastischem Model Checking
Zuverlässigkeitsanalyse für Statecharts