Verifikation und formale quantitative Analyse
Aus International Center for Computational Logic
Verifikation und formale quantitative Analyse
- Kontaktperson Christel Baier
Die Forschungsgruppe Verifikation und formale quantitative Analyse beschäftigt sich mit der Modellierung, Spezifikation and Verifikation reaktiver Systeme, der quantitativen Analyse stochastischer Systeme sowie Probabilistic Model Checking. Die weitere Forschung umfasst Koordinationssprachen, die Kompatibilität von Komponenten, temporale und modale Logiken, Automaten über unendlichen Strukturen, Spieltheorie und die Verifikation von Systemen mit unendlichem Zustandsraum.
Professoren und Gruppenleiter
Prof. Dr. Christel Baier
- christel.baier@tu-dresden.de
- +49 351 463 38548
- APB 3006
- Verifikation und formale quantitative Analyse
Wissenschaftliche Mitarbeiter
Dr.-Ing. Sascha Klüppelholz
- sascha.klueppelholz@tu-dresden.de
- +49 351 463 38440
- APB 3007
- Verifikation und formale quantitative Analyse
Neueste Publikationen
Komplette Publikationsliste anzeigenLehrveranstaltungen
- Project Group “Model Checking” (SS 2018)
- Lecture “Advanced Logics” (SS 2018)
- Seminar “Selected Topics in Logic and Verification” (SS 2018)
- Lab Course “Modeling and Automated Verification” (SS 2018)
- Theoretische Informatik und Logik (SS 2018)
QuantLA
Quantitative Logics and Automata
