Symbolic Analysis of Complex Features of Software

Grunddaten zu diesem Projekt

Art des Projektes: Beteiligung in sonstigen Verbundvorhaben
Laufzeit: 01.01.2007 - 31.12.2008

Beschreibung

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