General information
| Course name | Lecture: 2.01.455 Model Checking |
| Subtitle | inf455 |
| Course number | 2.01.455 |
| Semester | WiSe25/26 |
| Current number of participants | 16 |
| expected number of participants | 30 |
| Home institute | Department of Computing Science |
| Courses type | Lecture in category Teaching |
| Next date | Wednesday, 10.12.2025 08:00 - 10:00, Room: A05 1-160 |
| Type/Form | V+Ü |
| Lehrsprache | deutsch und englisch |
