inf455 - Model Checking (Vollständige Modulbeschreibung)
Modulbezeichnung | Model Checking |
Modulkürzel | inf455 |
Kreditpunkte | 6.0 KP |
Workload | 180 h |
Einrichtungsverzeichnis | Department für Informatik |
Verwendbarkeit des Moduls |
|
Zuständige Personen |
|
Teilnahmevoraussetzungen | Nützliche Vorkenntnisse: Logik |
Kompetenzziele | Model Checking ist eine Technik der automatischen Verifikation für Hardware und Software Systeme. Die Studierenden erhalten in der Vorlesung Kenntnisse und Fähigkeiten in der Anforderungsspezifikation mittels temporaler Logik und der automatischen Überprüfung des Systems bezüglich der Anforderungen durch algorithmische Verfahren. Fachkompetenzen
|
Modulinhalte |
|
Literaturempfehlungen |
|
Links | |
Unterrichtssprache | Englisch |
Dauer in Semestern | 1 Semester |
Angebotsrhythmus Modul | jedes Sommersemester |
Aufnahmekapazität Modul | unbegrenzt |
Lehr-/Lernform | V + Ü |
Vorkenntnisse | Nützliche Vorkenntnisse: Logik |
Lehrveranstaltungsform | Kommentar | SWS | Angebotsrhythmus | Workload Präsenz |
---|---|---|---|---|
Vorlesung | 2 | SoSe oder WiSe | 28 | |
Übung | 2 | SoSe oder WiSe | 28 | |
Präsenzzeit Modul insgesamt | 56 h |
Prüfung | Prüfungszeiten | Prüfungsform |
---|---|---|
Gesamtmodul | Wöchentliche Übungsaufgaben, Praktikumsaufgaben im Block, mündliche Prüfung am Ende |
Portfolio |