Das Proseminar gibt eine Einführung in verschiedene Werkzeuge und Methoden der Software-Analyse. Diese hat zum Ziel, Fehler automatisiert zu finden (Bug Finding) oder deren Abwesenheit zu beweisen (Verifikation).

Anhand einzelner Vorträge sollen verschiedene Werkzeuge und Methoden zur automatisierten Fehlersuche für eine Reihe von Programmiersprachen vorgestellt werden.

Jeder Vortrag besteht aus der Vorstellung eines Werkzeugs, der Beschreibung der dahinterstehenden theoretischen Methode sowie einfachen Anwendungsbeispielen.

Je nach Teilnehmerzahl findet das Proseminar wöchentlich während des Semesters oder als Blockseminar am Ende des Wintersemesters statt.

In einer Vorbesprechung in der ersten Semesterwoche werden die Themen vorgestellt und verteilt.

Eine Anmeldung ist erforderlich.