Materialien
Vorlesungsmaterial
Leistungsnachweis
Prüfungskriterien Seminar: Theoretical Foundations of Model Checking - Wintersemester 06/07
Material
Ausarbeitungen
| 02. Deciding Presburger arithmetic using automata | ||
| 03. Deciding linear arithmetic using automata | ||
| 04. Automata and don't care words | ||
| 05. Hybrid automata | ||
| 06. model checking hybrid automata using polyhedra | ||
| 07. Reachability analysis of hybrid automata | ||
| 10. Bisimilarity and characterization of Kripke-structures | ||
| 11. Branching bisimulation and its characterization | ||
ILIAS
| LaTeX Folien Beispiel | gezipte LaTeX Vorlage | |
| LaTeX LNCS Beispiel | gezipte LaTeX Vorlage | |
| LaTeX LNCS Format | gezipte LaTeX Vorlage | |
Themen
| 01. Büchi-Wortautomaten und Logik | Technischer Bericht | |
| 02. Entscheiden von Presburger Arithmetik mit Automaten | Konferenz-Veröffentlichung | |
| 03. Entscheiden von linearer Arithmetik mit Automaten | Konferenz-Veröffentlichung | |
| 04. Automaten und Don't Care Wörter | Konferenz-Veröffentlichung | |
| 05. Hybride Automaten | Konferenz-Veröffentlichung | |
| 06. Model Checking von Hybriden Automaten mit Polyeder | Journalartikel, Konferenz-Veröffentlichung | |
| 07. Erreichbarkeitsanalyse von Hybriden Automaten | Konferenz-Veröffentlichung | |
| 08. Model Checking von Hybriden Automaten mit Prädikatenabstraktion | Journalartikel | |
| 09. Model Checking mit Automaten Abstraktionen | Konferenz-Veröffentlichung | |
| 10. Bisimilarität und logische Charakterisierung von Kripke-Strukturen | Journalartikel | |
| 11. Branching Bisimulation und ihre logische Charakterisierung | Journalartikel, Konferenz-Veröffentlichung | |
Vortragsfolien
| Automaten und Don't Care Wörter | ||
| Bisimilarität und logische Charakterisierung von Kripke-Strukturen | ||
| Branching Bisimulation und ihre logische Charakterisierung | ||
| Entscheiden von linearer Arithmetik mit Automaten | ||
| Entscheiden von Presburger Arithmetik mit Automaten | ||
| Erreichbarkeitsanalyse von hybriden Automaten | ||
| Hybride Automaten | ||
| Model Checking von Hybriden Automaten mit Polyedern | ||