Lehrende: Prof. Ph.D. Sebastian Faust
Veranstaltungsart: Integrierte Veranstaltung
Orga-Einheit: FB20 Informatik
Anzeige im Stundenplan: FormMeth SWentwurf
Fach:
Anrechenbar für:
Semesterwochenstunden: 3
Unterrichtssprache: Deutsch
Min. | Max. Teilnehmerzahl: - | -
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.
Weitere Informationen: Link zu Moodle https://moodle.informatik.tu-darmstadt.de/course/view.php?id=1199
Formale Methoden im Softwareentwurf - Ü 01
Prof. Ph.D. Sebastian Faust
Di, 12. Apr. 2022 [11:40]-Di, 12. Jul. 2022 [13:20]
Formale Methoden im Softwareentwurf - Ü 02
Formale Methoden im Softwareentwurf - Ü 03
Formale Methoden im Softwareentwurf - Ü 04
Di, 12. Apr. 2022 [15:20]-Di, 12. Jul. 2022 [17:00]
Formale Methoden im Softwareentwurf - Ü 05
Formale Methoden im Softwareentwurf - Ü 06
Formale Methoden im Softwareentwurf - Ü 07
Mi, 13. Apr. 2022 [13:30]-Mi, 13. Jul. 2022 [15:10]
Formale Methoden im Softwareentwurf - Ü 08
Fr, 22. Apr. 2022 [11:40]-Fr, 15. Jul. 2022 [13:20]
Formale Methoden im Softwareentwurf - Ü 09
Formale Methoden im Softwareentwurf - Ü 10