Symbolic Analysis of Complex Features of Software

Basic data for this project

Type of project: Participation in other joint projects

Duration at the University of Münster: 01/01/2007 - 31/12/2008

Description

The goal of this project is to provide methods and techniques for automatic software verification. The aim is to develop an algorithmic verification approach which allows to handle complex features of programs in modern programming languages related to their control structures (procedure calls, multi-threading, etc) and their memory management (data manipulation, dynamic allocation, etc) simultaneously.

Keywords: Algorithmic software verification; automata-based methods; software analysis; static analysis

Funding identifier: D/0628205

Funder / funding scheme:

German Academic Exchange Service (DAAD)

Project management at the University of Münster

Müller-Olm, Markus

Professorship for practical computer science (Prof. Müller-Olm)

Applicants from the University of Münster