MT-LAB A VKR Foundation Center of Excellence

Projektdetaljer

Beskrivelse

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.
AkronymMT-LAB
StatusAfsluttet
Effektiv start/slut dato01/10/200801/10/2013

Finansiering

  • VKR Centre of Excellence

Fingerprint

Udforsk forskningsemnerne, som dette projekt berører. Disse etiketter er oprettet på grundlag af de underliggende bevillinger/legater. Sammen danner de et unikt fingerprint.