Lehrende: Dr. rer. nat. Richard Bubel; Prof. Dr. rer. nat. Reiner Hähnle
Veranstaltungsart: Seminar
Orga-Einheit: FB20 Informatik
Anzeige im Stundenplan: DIVe
Fach:
Anrechenbar für:
Semesterwochenstunden: 2
Unterrichtssprache: Englisch
Min. | Max. Teilnehmerzahl: - | -
Digitale Lehre: Zoom credentials: https://tu-darmstadt.zoom.us/j/81064364634?pwd=RUt6eEZJS1BOeEdKamxTMGNIeFNOdz09 Meeting ID: 810 6436 4634 Passcode: 815918
Lehrinhalte: In dem Seminar werden aktuelle Verifikationstools und Beweisassistenten vorgestellt. Es werden dabei sowohl die theoretischen Grundlagen auf denen die Werkzeuge aufbauen vorgestellt, als auch deren praktische Anwendung anhand einer gemeinsamen Beispielsammlung. Damit soll ein Vergleich der unterschiedlichen Ansätze ermöglicht werden.
Voraussetzungen: Empfohlen werden grundlegende Kenntnisse in Logik (Aussagen- und Prädikatenlogik) sowie ein starkes Interesse an deduktiver Verifikation.
Online-Angebote: Die Seminar Kursseite ist unter https://moodle.informatik.tu-darmstadt.de/course/view.php?id=1115 erreichbar. Der Kurs wird digital gehalten. Alle Informationen werden rechtzeitig vor der ersten Vorlesung auf der Moodlewebsite bekannt gegeben.