Proseminar Algorithmische Verifikation

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 External Link orientieren, und die von den an dieser Competition teilnehmenden Werkzeuge eingesetzen Methoden im Detail betrachten.