Art des Projektes: Beteiligung in sonstigen Verbundvorhaben
Laufzeit: 01.01.2007 - 31.12.2008
Ziel dieses Projektes ist die Weiterentwicklung von Methoden und Techniken der automatischen Softwareverifikation. Die im Projekt entwickelten Verifikationsverfahren sollen es erlauben, komplexe Aspekte der Kontrolle (z.B. Prozeduraufrufe und Multi-Threading) und der Speicherverwaltung (z.B. Datenaspekte und dynamische Allokation) von Programmen moderner Programmiersprachen gleichzeitig zu behandeln.
Stichwörter: Algorithmische Softwareverifikation; automatenbasierte Methoden; Softwareanalyse; statische Analysis