Materialien
Vorlesungsmaterial
Leistungsnachweis
Prüfungskriterien Verifikation probabilistischer Systeme - Sommersemester 2013
Material
ILIAS
| Tutorial zu stochastischem Model Checking | ||
| Zuverlässigkeitsanalyse für Statecharts | ||
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 | ||