Courses Winter Term 2021
Lecture “Model Checking”
Prof. Dr. Christel Baier and Dr. Sascha Klüppelholz
SWS: (4/4/0), in English
Tutorial “Logic Programming Engineering”
Tutorial "Logic Programming Engineering”
Dr. Sascha Klüppelholz
SWS: (0/2/0), in English
Undergraduate Seminar “Theoretische Informatik”
Undergraduate Seminar “Theoretische Informatik”
Prof. Dr. Christel Baier
SWS: (0/2/0), in German
Seminar “Selected Topics in Logic and Verification”
Seminar “Selected Topics in Logic and Verification”
Prof. Dr. Christel Baier
SWS: (0/2/0), in English
Doctoral Seminar „Advances in Probabilistic Model Checking“
Doctoral Seminar „Advances in Probabilistic Model Checking“
Prof. Dr. Christel Baier
SWS: (0/2/0), in English
Advanced Project “Modellierung und quantitative Systemanalyse I”
Advanced Project “Modellierung und quantitative Systemanalyse I”
Prof. Dr. Christel Baier
SWS: (0/0/4), in German
Advanced Project “Modellierung und quantitative Systemanalyse II”
Advanced Project “Modellierung und quantitative Systemanalyse II”
Prof. Dr. Christel Baier
SWS: (0/0/8), in German
Project Group “Model Checking”
Project Group “Model Checking”
Prof. Dr. Christel Baier
SWS: (0/0/4), in English
Lab Course “Modeling and Automated Verification”
Lab Course “Modeling and Automated Verification”
Prof. Dr. Christel Baier
SWS: (0/2/0), in English
Research project “Formale Methoden”
Research project “Formale Methoden”
Prof. Dr. Christel Baier
SWS: (0/0/8), in German and English
CMS Research Project Model Checking
CMS Research Project Model Checking
Dr. Sascha Klüppelholz
SWS: (0/0/12), in English
Team Project Model Checking
Dr. Sascha Klüppelholz
SWS: (0/0/8), in English