Faculty of Computer ScienceModel Checking
- Alias
- INF-25-Ma-FTK-MC
- CampusNet
- M1101-FTKMC
- Credits
- 12
- Starting semester
- Winter semester
- Responsible
- Baier, Christel Prof. Dr. <christel.baier@tu-dresden.de>
- Organisation
- Chair of Algebraic and Logical Foundations of Computer Science
- Languages
- German or English
- Erasmus
- Bachelor's degree, Master's degree
- Status
- Active
- Module description
- Deutsch · English
Degree programs
- Bachelor's Program in Computer Science (2025)
- Diplom Program in Computer Science (2025)
- Master's Program in Computer Science (2025)