inf455 - Model Checking (Complete module description)
Module label | Model Checking |
Modulkürzel | inf455 |
Credit points | 6.0 KP |
Workload | 180 h |
Institute directory | Department of Computing Science |
Verwendbarkeit des Moduls |
|
Zuständige Personen |
|
Prerequisites | Useful previous knowledge: Logic |
Skills to be acquired in this module | Model checking is a technique for the automatic verification of hardware and software systems. In the course, the students develop knowledge and skills in requirements specification via temporal logic and the automatic algorithmic checking of systems with respect to requirements.
|
Module contents |
|
Literaturempfehlungen |
|
Links | |
Language of instruction | English |
Duration (semesters) | 1 Semester |
Module frequency | every summer term |
Module capacity | unlimited |
Teaching/Learning method | V + Ü |
Previous knowledge | Useful previous knowledge: Logic |
Lehrveranstaltungsform | Comment | SWS | Frequency | Workload of compulsory attendance |
---|---|---|---|---|
Lecture | 2 | SoSe oder WiSe | 28 | |
Exercises | 2 | SoSe oder WiSe | 28 | |
Präsenzzeit Modul insgesamt | 56 h |
Examination | Prüfungszeiten | Type of examination |
---|---|---|
Final exam of module | Weekly homework assignments, lab assignments in a block, oral examination at the end |
Portfolio |