Symbolic Analysis of Complex Features of Software

Grunddaten zu diesem Projekt

Art des Projektes: Beteiligung in sonstigen Verbundvorhaben

Laufzeit an der Universität Münster: 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

Förderkennzeichen: D/0628205

Mittelgeber / Förderformat:

Deutscher Akademischer Austauschdienst (DAAD)

Projektleitung der Universität Münster

Müller-Olm, Markus

Professur für Praktische Informatik (Prof. Müller-Olm)

Antragsteller*innen der Universität Münster