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.
This page was last updated by Holger Hermanns on 2003-01-22