Die Studierenden sind in der Lage, Systeme zu modellieren und Anforderungen formal zu spezifizieren. Sie kennen formale Verfahren zur Spezifikation und Verifikation von Programmen und Modellen. Sie können Möglichkeiten und Grenzen dieser Methoden einschätzen. Sie können moderne Verfahren der automatischen Verifikation anwenden und sich Funktionsweise und Einsatz geeigneter Werkzeuge selbstständig erarbeiten.