Digitale Innovation und Transformation, Master (PO-2024)
| Modulnummer / Modulcode | WAHL-17 |
|---|---|
| Modulname | Software-Verifikation |
| Art des Moduls | Wahlpflicht |
| Lernergebnisse, Kompetenzen, Qualifikationsziele | Studierende haben vertiefte Kenntnisse und sicheren Umgang mit Verifikationsmethoden, die dazu dienen, korrekte und fehlerfreie Software zu konstruieren. Sie können insbesondere entsprechende Verifikationsmethoden anwenden. |
| Lehrveranstaltungsarten | VLmP (2 SWS), Ü (2 SWS) |
| Lehrinhalte | operationale Semantik; Werkzeuge zur Spezifikation von Korrektheit: Typen, konstruktive oder dynamische Logiken, Invarianten; semi-automatische formale Programmverifikation mittels Theorembeweisern wie PVS, Isabelle/HOL, Coq oder KeY; Strategien zum Finden von formalen Beweisen |
| Titel der Lehrveranstaltungen | Software-Verifikation |
| Lehr- und Lernmethoden (Lehr- und Lernformen) | Frontalunterricht in Vorlesung, Rechnerübungen, Teamarbeit in Übungen, angeleitete Präsentation von Lösungen durch Studierende, |
| Verwendbarkeit des Moduls | Master Informatik Master Computer Science Master Artificial Intelligence and Data Science |
| Dauer des Moduls | Ein Semester |
| Häufigkeit des Angebotes | Alle vier Semester ab Wintersemester 2026/27 |
| Sprache | Englisch/Deutsch |
| Empfohlene (inhaltliche) Voraussetzungen für die Teilnahme am Modul | |
| Voraussetzungen für die Teilnahme am Modul | keine |
| Studentischer Arbeitsaufwand | 180 h (60 h Präsenz + 120 h Selbststudium) |
| Studienleistungen | Studienleistung S1: Erfolgreiche Bearbeitung von mindestens 50% der Übungsaufgaben bezogen auf die Gesamtpunktzahl |
| Voraussetzung für Zulassung zur Prüfungsleistung | Studienleistung S1 |
| Prüfungsleistungen | Mündliche Prüfung (ca. 30 Min.) oder Klausur (ca. 120 Min.) |
| Anzahl Credits (ECTS) | 6 cp |
| Lehreinheit | Informatik |
| Modulverantwortliche/r | Prof. Dr. Martin Lange |
| Lehrende | Prof. Dr. Martin Lange und Mitarbeitende |
| Medienformen | Folien (Beamer), Tafel, Rechner-Übungen, Übungen auf Papier |
| Literatur |
|