TU BRAUNSCHWEIG

Organisatorisches

Dozent:
Betreuer:

Modulnummer:
Veranstaltungsnummer:
Dr.-Ing. Thomas Thüm
Alexander Knüppel, M.Sc.

INF-SSE-38
INF-SSE-050 / INF-SSE-051

Termine

  • Vorlesung: Donnerstag, 11:30 - 13:00
  • Übung: Mittwoch, 11:30 - 13:00

Aktuelles

Vorlesungs- und Übungsbeginn werden noch bekannt gegeben.

Inhalte

Formale Methoden bezeichnen Methoden für den Systementwurf oder die Systemanalyse und Implementierungstechniken, die mit mathematischer Exaktheit beschrieben werden. Das Ziel ist es, Systeme zu konstruieren, die sich mit hoher Zuverlässigkeit gemäß ihrer Spezifikation verhalten. Diese Lehrveranstaltung führt theoretisch und praktisch die beiden wichtigsten Arten der formalen Methoden für die Analyse von Programmen ein: Software Model Checking und deduktive Verifikation.

Die Vorlesung beschäftigt sich mit folgenden Themen:

  • Design by Contract mit JML
  • Prüfung von Assertions zur Laufzeit
  • Software Model Checking
  • Logik erster Ordnung und Dynamische Logik
  • Deduktive Verifikation
  • Behavioral Subtyping
  • Analyse von konfigurierbaren Programme

Vorlesungsmaterialien

Die Vorlesungsunterlagen werden ausschließlich im Stud.IP hochgeladen. Bitte melden Sie sich daher dort bis spätstens zwei Wochen nach Vorlesungsbeginn für die Vorlesung an.


  aktualisiert am 18.07.2017
TU_Icon_E_Mail_1_17x17_RGB Zum Seitenanfang