Formale Spezifikation und Verifikation

Description

Inhalt

Die Veranstaltung führt in grundlegende Methoden und Konzepte ein, die bei der Spezifikation und Verifikation von Systemen von Bedeutung sind. Es werden Spezifikationsformalismen, Konzepte der System-Modellierung und Grundtechniken für die Automatisierung der Verifikation behandelt. Neben der Vorlesung werden die besprochenen Inhalte im Übungsteil anhand von praktischen Anwendungen eingeübt.
Modulhandbuch, 2.18 P 18: Formale Spezifikation und Verifikation (INF-FSV), Seite 48.

Hörerkreis

Bachelor Informatik

Empfohlene Vorkenntnisse

  • Logik und Diskrete Strukturen
  • Formale Sprachen und Komplexität
  • System- oder Softwareentwicklungspraktikum

Literatur

Department
Institut für Informatik
Lecturer
Assistants
Course participants
87
Enrolment

Sun 01 Mar 2020 00:00 – Wed 30 Sep 2020 23:59

Deregistration only until Wed 30 Sep 2020 23:59

Material
Only course participants may access course material