Lehrende: Dr. rer. nat. Richard Bubel; Prof. Dr. rer. nat. Reiner Hähnle
Veranstaltungsart: Seminar
Orga-Einheit: FB20 Informatik
Anzeige im Stundenplan: SymEx
Fach:
Anrechenbar für:
Semesterwochenstunden: 2
Unterrichtssprache: Deutsch und Englisch
Min. | Max. Teilnehmerzahl: - | -
Digitale Lehre:
Lehrinhalte: Symbolische Ausführung von Programmen ist eine fundamentale Analysetechnik, die u.a. die Basis von Testgenerierung, Compileroptimierung, Verifikation oder Visualisierung darstellt. In den letzten Jahren wurden darin bedeutende Fortschritte erzielt. Im Seminar werden die wichtigsten klassischen und neuen Arbeiten zur symbolischen Ausführung vorgestellt.
Zusätzliche Informationen: Kurswebseite: https://moodle.informatik.tu-darmstadt.de/course/view.php?id=1020
Online-Angebote: Kurswebseite: https://moodle.informatik.tu-darmstadt.de/course/view.php?id=1020