Type of project: Participation in other joint projects
Duration: 01/01/2007 - 31/12/2008
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