Systems Validation Centre

The SVC project is devoted to fundamental and applied research in the validation of telematics systems. The aim is to develop, apply, evaluate and improve validation methods and tools that are used in the (automated) analysis of the (functional) correctness of real-life specifications, designs and products. Important validation techniques that will be studied include simulation, model checking, verification and testing.

The research partners of this project are the CTIT, CWI and the Telematics Institute. Industrial support has been obtained from CMG, KPN and Lucent.




Centre for Telematics and Information Technology Centre of Mathematics and Informatics Telematics Institute
CMG KPN Research Lucent Technologies

This page was last updated by Holger Hermanns on 2003-01-22