Modul CS4507-KP12, CS4507

Softwareverifikation (SoftVeri)

Dauer:

2 Semester

Angebotsturnus:

Jährlich, kann sowohl im SoSe als auch im WiSe begonnen werden

Leistungspunkte:

Studiengang, Fachgebiet und Fachsemester:

Master Informatik 2019 (Pflicht), Kanonische Vertiefung SSE, Beliebiges Fachsemester
Master Medizinische Ingenieurwissenschaft 2020 (Vertiefungsmodul), Informatik/Elektrotechnik, Beliebiges Fachsemester
Master Entrepreneurship in digitalen Technologien 2020 (Vertiefungsmodul), Technologiefach Informatik, Beliebiges Fachsemester
Master Informatik 2019 (Wahlpflicht), Vertiefungsmodule, Beliebiges Fachsemester
Master Informatik 2014 (Pflicht), Schwerpunktfach Software Systems Engineering, 1. und 2. Fachsemester
Master Medizinische Ingenieurwissenschaft 2014 (Vertiefungsmodul), Informatik/Elektrotechnik, 1. und 2. Fachsemester
Master Entrepreneurship in digitalen Technologien 2014 (Vertiefungsmodul), Technologiefach Informatik, 2. und 3. Fachsemester
Master Informatik 2014 (Vertiefungsmodul), Vertiefung, 2. und 3. Fachsemester

Lehrveranstaltungen:

Siehe CS4139 T: Runtime Verification und Testen (Vorlesung mit Übungen, 4 SWS)
Siehe CS5220 T: Statische Analyse (Vorlesung mit Übungen, 4 SWS)
Siehe CS4138 T: Model Checking (Vorlesung mit Übungen, 4 SWS)

Workload:

120 Stunden Präsenzstudium
30 Stunden Prüfungsvorbereitung
210 Stunden Selbststudium

Lehrinhalte:
s. Modulteile

Qualifikationsziele/Kompetenzen:

Die Studierenden können verschiedene Ansätze zur Softwareverikation untereinander in Beziehung setzen.
Weitere Kompetenzen s. Modulteile

Vergabe von Leistungspunkten und Benotung durch:

Mündliche Prüfung

Modulverantwortlicher:

Prof. Dr. Martin Leucker

Lehrende:

Institut für Softwaretechnik und Programmiersprachen

Prof. Dr. Martin Leucker

Literatur:

: Siehe Literatur in den Modulteilen

Sprache:

Sowohl Deutsch- wie Englischkenntnisse nötig

Bemerkungen:

Zulassungsvoraussetzungen zur Belegung des Moduls:
- Keine

Zulassungsvoraussetzungen zur Teilnahme an Modul-Prüfung(en):
- Erfolgreiche Bearbeitung von Übungsaufgaben gemäß Vorgabe am Semesteranfang

Modulprüfung(en):
- CS4507-L1: Softwareverifikation, mündliche Prüfung, 100% der Modulnote

(Besteht aus CS4138 T, CS4139 T, CS5220 T)

Zwei der drei Teilmodule müssen gewählt werden.