Im Vertiefungsfach "Softwaremodellierung und Verifikation" werden formale Methoden zur Analyse und Validierung von (Software-) Systemen behandelt. Hierbei stehen (probabilistische) Modellierungs- und Programmiersprachen, ihre Semantik und Implementierung sowie der Nachweis von Korrektheitseigenschaften durch Model-Checking-Methoden im Vordergrund. Der Lehrstuhl für Informatik 2 bietet dazu regelmässig Vorlesungen zu folgenden Themen an:
Diese können ggf. mit weiteren Veranstaltungen des Lehrstuhls für Informatik 2 kombiniert werden. Zusätzlich werden regelmäßig Seminare und Praktika zu speziellen Themen angeboten.
Prüfer für dieses Vertiefungsgebiet ist Prof. Dr.Ir. Joost-Pieter Katoen.