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 zu Modulnummer 101182 - allgemeine Informationen | |
|---|---|
| Modulnummer | 101182 |
| Fakultät | Fakultät für Informatik und Automatisierung |
| Fachgebietsnummer | 2241 (Automaten und Logik) |
| Modulverantwortliche(r) | Prof. Dr. Dietrich Kuske |
| Sprache | Deutsch |
| Turnus | unbekannt |
| Vorkenntnisse | endliche Automaten (vgl. z. B. Automaten, Sprachen und Komplexität), Aussagen- und Prädikatenlogik (vgl. z. B. Logik und Logikprogrammierung) |
| 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. |
| Inhalt | LTL, CTL und CTL* für endliche Kripkestrukturen, OBDDs, LTL für Kellersysteme |
| Medienformen und technische Anforderungen bei Lehr- und Abschlussleistungen in elektronischer Form | Tafel |
| Literatur | Clark, Grumberg, Peled: Model Checking, MIT Press 2000.
Gabbay, Hodkinson, Reynolds: Temporal Logic, Ox. Univ. Press 1994.
Emerson: Temporal und Modal Logic. In: J. van Leeuwen (Ed.): Handbook of Theoretical Computer Science, Chapter 16, Amsterdam 1990. |
| Lehrevaluation | |
| Spezifik Referenzmodul | |
|---|---|
| Modulname | Verifikation |
| Prüfungsnummer | 91708 |
| Leistungspunkte | 5 |
| SWS | 0 |
| Präsenzstudium (h) | 0 |
| Selbststudium (h) | 150 |
| Verpflichtung | Wahlmodul |
| Abschluss | mehrere Teilleistungen |
| Details zum Abschluss | |
| Link zum Moodle-Kurs | |
| Lehrende | |
| Anmeldemodalitäten für alternative PL oder SL | |
| max. Teilnehmerzahl | |
| Spezifik im Studiengang Master Informatik 2013 | |
|---|---|
| Modulname | Verifikation |
| Prüfungsnummer | 91708 |
| Leistungspunkte | 5 |
| Präsenzstudium (h) | 0 |
| Selbststudium (h) | 150 |
| Verpflichtung | Wahlmodul |
| Abschluss | mehrere Teilleistungen |
| Details zum Abschluss | |
| Link zum Moodle-Kurs | |
| Anmeldemodalitäten für alternative PL oder SL | |
| max. Teilnehmerzahl | |