Lehrende: Prof. Dr. rer. nat. Reiner Hähnle
Veranstaltungsart: Integrierte Veranstaltung
Orga-Einheit: FB20 Informatik
Anzeige im Stundenplan: FormMeth SWentwurf
Fach:
Anrechenbar für:
Semesterwochenstunden: 3
Unterrichtssprache: Deutsch
Min. | Max. Teilnehmerzahl: - | -
Digitale Lehre: Der Kurs wird in Präsenz gehalten. Die Kurswebseite ist: https://moodle.informatik.tu-darmstadt.de/course/view.php?id=1412
Lehrinhalte: - Modellierung nebenläufiger Software mit der Sprache ProMeLa - Formalisierung von Sicherheits- und Lebendigkeitseigenschaften mit temporaler Aussagenlogik - Theoretische Grundlagen von Modellprüfungsverfahren - Verifikation von ProMeLa Programmen mittels des Modellprüfers SPIN - Syntax, Semantik und Sequenzenkalkül für typisierte Logik erster Stufe - Grundlagen der kontraktbasierten Softwarespezifikationssprache JML - Dynamische Logik als eine Programmlogik erster Stufe - Formale Programmverifikation durch symbolische Ausführung und Invariantenschließen - Werkzeugunterstützte Verifikation von Java-Programen mit der KeY System
Literatur: Für den ersten Teil des Kurses: - Ben-Ari: Principles of the SPIN Model Checker, Springer - Holzmann: The SPIN Model Checker, Addison-Wesley Für den zweiten Teil des Kurses: - Beckert et al.: Verification of Object-Oriented Software, Springer Die Literaturempfehlungen werden kontinuierlich aktualisiert.
Voraussetzungen: Empfohlen: Programmierkenntnisse in Java und Vertrautheit mit Aussagenlogik wird erwartet. Empfohlen ist der Besuch der Vorlesung “Aussagen- und Prädikatenlogik”. Ansonsten genügt grundlegende mathematische Reife.
Online-Angebote: Die Kurswebseite (Ankündigungen, Bereitstellung von Lehrmaterialien etc.) ist https://moodle.informatik.tu-darmstadt.de/course/view.php?id=1412
Formale Methoden im Softwareentwurf - Ü 01
Prof. Dr. rer. nat. Reiner Hähnle
Di, 11. Apr. 2023 [11:40]-Di, 11. Jul. 2023 [13:20]
Formale Methoden im Softwareentwurf - Ü 02
Formale Methoden im Softwareentwurf - Ü 03
Formale Methoden im Softwareentwurf - Ü 04
Di, 11. Apr. 2023 [15:20]-Di, 11. Jul. 2023 [17:00]
Formale Methoden im Softwareentwurf - Ü 05
Formale Methoden im Softwareentwurf - Ü 06
Formale Methoden im Softwareentwurf - Ü 07
Mi, 12. Apr. 2023 [13:30]-Mi, 12. Jul. 2023 [15:10]
Formale Methoden im Softwareentwurf - Ü 08
Fr, 14. Apr. 2023 [11:40]-Fr, 14. Jul. 2023 [13:20]
Formale Methoden im Softwareentwurf - Ü 09
Formale Methoden im Softwareentwurf - Ü 10