Entwicklung korrekter Systeme

Lehrveranstaltungen

Vertiefungsrichtung Modellierung und Analyse komplexer Systeme (MAX)

Wir sind beteiligt an der Vertiefungsrichtung Modellierung und Analyse komplexer Systeme (MAX). Informationen zu diesem Schwerpunkt finden Sie in der jeweiligen Beschreibung für den Fach-Bachelor Informatik oder den Fach-Master Informatik.

Veranstaltungen der Abteilung

Hier finden Sie eine nicht vollständige Liste der Veranstaltungen, die von unserer Abteilung angeboten werden. Aktuelle Informationen zu den Veranstaltungen finden sie sowohl im Stud.IP als auch an der Pinnwand der Theoretischen Informatik im Flur vor dem Trakt A3 2. Etage. Sollten Sie Interesse an einer speziellen Veranstaltung haben, so sprechen Sie uns einfach an.

Vorlesungen

Für Bachlor-Studenten bieten wir an:

  • Theoretische Informatik I
  • Theoretische Informatik II
  • Programmverifikation
  • Algorithmen zur Software-Verifikation

Für Master-Studenten bieten wir an:

  • Realzeitsysteme
  • Verifikation objekt-orientierter Programme
  • Kombination von Spezifikationstechniken
  • Kommunizierende und mobile Systeme

Seminare und Proseminare

  • Automatenmodelle in der Informatik
  • Logik in der Informatik
  • Diagramme in der Informatik
  • Verifikation von Systemen mit unendlichen Zustandsräumen

Praktika im Bachelor

  • Praktikum Realzeitsysteme