Lehrende: Prof. Dr. rer. nat. Marie-Christine Jakobs
Veranstaltungsart: Integrierte Veranstaltung
Orga-Einheit: FB20 Informatik
Anzeige im Stundenplan: VPP
Fach:
Anrechenbar für:
Semesterwochenstunden: 4
Unterrichtssprache: Englisch
Min. | Max. Teilnehmerzahl: - | -
Lehrinhalte: Die Veranstaltung befasst sich mit überwiegend automatischen Techniken zur Verifikation von parallelen Programmen, insbesondere multi-threaded Programmen mit gemeinsamen Speicher. Die Veranstaltung behandelt dabei folgende Themenbereiche: - Semantik von parallelen Programmen (z.B. Interleaving-Semantik) - Statische und dynamische Techniken zur Erkennung von Data Races - Techniken der Deadlockanalyse - Analyse von Programmeigenschaften (z.B. mittels Sequentialisierung, Bounded Model Checking, etc.) - Partial Order Reduction - Thread-modulare Verifikation
Voraussetzungen: Informatikkenntnisse entsprechend der ersten vier Semester des Bachelorstudiengangs Informatik. Vorteilhaft, aber nicht erforderlich ist der Besuch der Veranstaltung Automatische Software Verifikation.
Online-Angebote: https://moodle.informatik.tu-darmstadt.de/course/view.php?id=1111