| Detailed information |
| Original study plan |
Master's programme Computer Science 2025W |
| Learning Outcomes |
Competences |
| See associated lecture.
|
|
| Skills |
Knowledge |
| See associated lecture.
|
See associated lecture.
|
|
| Criteria for evaluation |
Exam plus practical projects (together with lecture).
|
| Methods |
Student projects.
|
| Language |
English |
| Study material |
Slides.
Handbook of Model Checking, Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem editors, Springer 2018.
|
| Changing subject? |
No |
| Further information |
This exercise course and the associated lecture form an inseparable didactic unit. The learning outcomes presented here are achieved through the close interaction of the two courses.
|
| Corresponding lecture |
in collaboration with 921COENMCHV21: VL Model Checking (3 ECTS) equivalent to
921COENMCHK13: KV Model Checking (4.5 ECTS)
|
