MT-LAB A VKR Foundation Center of Excellence

Project Details


The scope of the research centre is to explore and develop methods for formal verification of modern advanced software systems. Such methods have already been successfully applied to self-contained and relatively simple systems. The aim of this project is to develop new methods and expand the applicability of previous methods in order to formally verify the functionality of complex interacting modern software systems. In the project recent theory and methods from computer science and mathematical modelling will be combined.
Effective start/end date01/10/200801/10/2013


  • VKR Centre of Excellence


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.