Die Algorithmische Verifikation befasst sich mit vollautomatischen Verfahren, die es erlauben, die Korrektheit von Systemen und Software mathematisch exakt nachzuweisen. Die dabei entwickelten Methoden und Werkzeuge finden Anwendung in der Prüfung sicherheitskritischer System, z.B. in der Luftfahrt oder im Automobilbereich.

In diesem Proseminar sollen Werkzeuge und Verfahren der Algorithmischen Verifikation vorgestellt werden. Dabei werden wir uns an den Competitions on Software Verification orientieren, und die von den an dieser Competition teilnehmenden Werkzeuge eingesetzen Methoden im Detail betrachten.

Die Einführungsveranstaltung, auf der die Themen der Vorträge auch vorgestellt werden, findet am Freitag, den 24.04.2020 von 10:00-11:30 Uhr per Skype-Telefonkonferenz statt. Der Link zur Einwahl wird über das Forum der ILIAS-Seite zur Veranstaltung bekanntgegeben (Link zu ILIAS rechts oben auf dieser Seite).