|
MT-LABThe Villum Kann Rasmussen Foundation has awarded a grant of 25 mill. DKK to MT-LAB – a VKR Centre of Excellence, which is a cooperative research centre with partners from The Technical University of Denmark, Aalborg University and the IT University of Copenhagen. 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.Results From the First YearWe are happy to announce an overview of the results achieved during the first year of MT-LAB.New PhD StipendsWe are happy to announce new PhD stipends on Models and Logics for Verification and Analysis as part of MT-LAB.
|
