Modulcode:	Inf-Sem-FSV
Englische Bezeichnung:	Bachelor Seminar - Formal Software Verification
Modulverantwortliche(r):	Prof. Dr. Dirk Nowotka
Turnus:	unregelmäßig (WS13/14 WS14/15 WS15/16 WS16/17 WS17/18 WS19/20 WS20/21 WS21/22 WS22/23 SS23 WS23/24)
Präsenzzeiten:	2S
ECTS:	5
Workload:	40 Std. Literaturarbeit, 60 Std. Verfassen des Portfolios, 20 Std. Erstellung einer Präsentation, 30 Std. Seminarteilnahme
Dauer:	ein Semester
Modulkategorien:	BSc-Inf-Sem (BSc Inf (21)) Sem (BSc Inf (15)) Sem (BSc Inf)
Lehrsprache:	Deutsch
Voraussetzungen:

Kurzfassung:

In diesem Seminar werden ausgewählte Themen aus den Bereich der formalen Softwareverifikation besprochen. Die Studierenden können aus den vorgegebenen Themen auswählen. Es werden kurze Texte, Fachartikel oder Buchkapitel, bereitgestellt bzw. referenziert. Auf dieser Grundlage soll eine schriftliche Ausarbeitung erstellt werden und ein Vortrag mit anschließender Diskussion über ca. 45 Minuten erfolgen.

Lernziele:

Die Studierenden können

• fachwissenschaftliche Literatur mittleren Schwierigkeitsgrades verstehen
• einfache fachwissenschaftliche Texte verfassen, insbesondere angemessen zitieren und korrekte Fachsprache verwenden.
• Referate erstellen und vortragen, auch Präsentationen erstellen.
• sich im Rahmen eines wissenschafltichen Diskurses kritisch mit der eigenen Arbeit und der Arbeit anderer auseinandersetzen.

Lehrinhalte:

verschiedene zu formalen Methoden in der Softwareverifikation, wie z.B.:

• Model Checking
• SMT- und SAT-Solver
• Erreichbarkeitsfragen in großen Graphen
• Temporale Logiken
• Zeitautomaten

Weitere Voraussetzungen:

Grundverständnis für Logik und Automaten

Prüfungsleistung:

• Vortrag und Beantworten von Fragen zum Vortrag
• Schriftliche Ausarbeitung

Lehr- und Lernmethoden:

Die Erarbeitung des Stoffes und Vorbereitung der Vortrags soll vornehmlich selbständig erfolgen. Die BetreuerInnen des Seminars geben auf Anfrage gerne konzeptionelle und technische Hinweise.

Verwendbarkeit:

Literatur:

Literatur wird vor dem Seminar bekannt gegeben und besteht aus (englischsprachigen) Fachartikeln und/oder Kapiteln aus Lehrbüchern.

Verweise:

Kommentar:

Diese Veranstaltung ist im BSc Informatik nach Prüfungsordnung WS 2015/16 kein eigenständiges Modul. Die Leistungspunkte können nur in Kombination mit dem wissenschaftlichen Arbeiten erworben werden. Beide zusammen erbringen 7 Leistungspunkte.

Das Seminar (Ausarbeitung und Vortrag) stellt die eigentliche Modulprüfung dar.