I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Courses

Model Checking
held by: Univ.-Prof. Dr. Jan Kretinsky
M.Sc. Kush Grover
M.Sc. Pranav Ashok
M.Sc. Tobias Meggendorfer
held in: SS 2020
sws: 4
ects: 8
more information: /um/courses/mc/ss2020