Verifikation - Interaktive Studienpläne der TU Ilmenau
Die Interaktiven Studienpläne sind ein Informationsangebot zu den Studiengängen der TU Ilmenau.
Die rechtsverbindlichen Studienpläne entnehmen Sie bitte den jeweiligen Studien- und Prüfungsordnungen (Anlage Studienplan).
Alle Angaben zu geplanten Lehrveranstaltungen finden Sie im elektronischen Vorlesungsverzeichnis.
Bitte beachten Sie, dass auf dieser Seite keine Aktualisierungen mehr vorgenommen werden. Alle Module und Studienpläne ab der PO-Version 2021 (Bachelor- und Master-Studiengänge) sind ab sofort im Campus-Portal erreichbar.
| Modulinformationen zum Modul Verifikation im Studiengang Master Informatik 2013 | ||
|---|---|---|
| Modulname | Verifikation | |
| Modulnummer | 101182 | |
| Fakultät | Fakultät für Informatik und Automatisierung | |
| Fachgebietsnummer | 2241 (Automaten und Logik) | |
| Modulverantwortliche(r) | Prof. Dr. Dietrich Kuske | |
| Leistungspunkte | 5 | |
| Verpflichtung | Wahlmodul | |
| Voraussetzungen | ||
| Modulabschluss | Einzelleistungen | |
| Details zum Abschluss | ||
| Link zum Moodle-Kurs | ||
| Lehrende | ||
| Anmeldemodalitäten für alternative PL oder SL | ||
| Lernergebnisse und erworbene Kompetenzen | Die Studenten kennen die Verfahren des Model Checkings mittels temporaler Logiken LTL, CTL und CTL*. Sie kennen die Beschränkungen dieser Logiken bzgl. Ausdrucksstärke und Resourcenverbrauch der Entscheidungsverfahren. Sie können ähnliche temporale Logiken bzgl. dieser Kriterien bewerten. | |
| Das Modul beinhaltet die folgenden Fächer: | ||
| Verification | ||
| Leistungspunkte | 5 | |
| Verpflichtung | Wahlmodul | |
| Modulabschluss | mündliche Prüfungsleistung, 20 Minuten | |
| Turnus | Wintersemester | |