Symbolic Analysis of Complex Features of Software

Basic data for this project

Type of project: Participation in other joint projects
Duration: 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