WS 2024/25

CourseTypeBachelor / MasterDocent
Model CheckingLectureB/MKatoen
Semantics and Verification of SoftwareLectureMNoll
Probabilistic ProgrammingSeminarB/MKatoen
Trends in Computer-Aided VerificationSeminarB/MNoll
Foundations of InformaticsBridging courseNoll