Website
Modulhandbuch ab WS 2020/21

Modul CS4507-KP12, CS4507

Softwareverifikation (SoftVeri)

Dauer:


2 Semester
Angebotsturnus:


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


12
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:
Lehrende:
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.

Letzte Änderung:
5.8.2021

Modulhandbuch online

Zur Liste aller Module