Verification and formal quantitative Analysis
From International Center for Computational Logic
Verification and formal quantitative Analysis
- Contact Christel Baier
The research of the Verification and formal quantitative Analysis group mainly focuses on modeling, specification and verification of reactive systems as well as quantitative analysis of stochastic systems and probabilistic model checking. Other areas of interest include coordination languages, compatibility of components, temporal and modal logics, automata over infinite structures, game theory and verification of infinite-state systems.
Professors and Research Group Leaders
Prof. Dr. Christel Baier
- christel.baier@tu-dresden.de
- +49 351 463 38548
- APB 3006
- Verifikation und formale quantitative Analyse
Scientific Staff
Dr.-Ing. Sascha Klüppelholz
- sascha.klueppelholz@tu-dresden.de
- +49 351 463 38440
- APB 3007
- Verifikation und formale quantitative Analyse
Newest Publications
View full publication listCourses
- 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
