Website
Modulhandbuch vor 2014

Modul CS4138

Model Checking (ModelCheck)

Dauer:


1 Semester
Angebotsturnus:


Jedes Wintersemester
Leistungspunkte:


4
Studiengang, Fachgebiet und Fachsemester:
  • Master Informatik 2012 (Wahlpflicht), Anwendungsfach IT-Sicherheit und Zuverlässigkeit, 1. oder 2. Fachsemester
  • Master Informatik 2012 (Wahlpflicht), Schwerpunktfach Software Systems Engineering, 2. oder 3. Fachsemester
  • Master Informatik 2012 (Wahlpflicht), Vertiefungsblock Programmierung, 2. oder 3. Fachsemester
Lehrveranstaltungen:
  • CS4138-Ü: Model Checking (Übung, 1 SWS)
  • CS4138-V: Model Checking (Vorlesung, 2 SWS)
Workload:
  • 45 Stunden Präsenzstudium
  • 60 Stunden Selbststudium und Aufgabenbearbeitung
  • 15 Stunden Prüfungsvorbereitung
Lehrinhalte:
  • Qualitätsaspekte von Softwaresystemen
  • Analyse- und Verifikationstechniken für Softwaresysteme
  • Grundlegende Model Checking Techniken
  • Fortgeschrittene Techniken zum Model Checking
Qualifikationsziele/Kompetenzen:
  • Grundsätzliche Kenntnisse von Analyse- und Verifikationstechniken
  • Vertrautheit mit der Spezifikation von Korrektheits- und Sicherheitseigenschaften
  • Kenntnisse über verschiedene Techniken zum Model Checking von Hard- und Softwaresystemen
  • Kenntnisse über den Aufbau von Model Checkern
Vergabe von Leistungspunkten und Benotung durch:
  • Klausur oder mündliche Prüfung nach Maßgabe des Dozenten
Modulverantwortlicher:
Lehrende:
Literatur:
  • C. Baier, J.-P. Katoen: Principles of Model Checking - MIT Press, 2008
Sprache:
  • Englisch, außer bei nur deutschsprachigen Teilnehmern
Bemerkungen:

Es wird empfohlen, dieses Modul in Kombination mit dem Modul CS4137 Runtime Verification und dem Modul CS4010 Safety und Security zu hören.

Letzte Änderung:
17.7.2019

Modulhandbuch online

Zur Liste aller Module

Modulhandbuch als PDF