COST 247 (Verification and Validation Methods for Formal Descriptions)

The COST 247 project was undertaken from December 1993 to December 1997, funded by the European Commission's programme on Cooperation in Science and Technology. The project leader was Prof. Kemal Inan, then at the Middle East Technical University. There were many participating organisations throughout greater Europe. The goal of the work was to discover and apply techniques for formal verification and validation of software - particularly for telecommunications systems. The contact in Stirling for the project was Ken Turner.


Up one level to Ken Turner - Research Projects

Web Ken Turner Home   Email    Search Search Web Pages

Last Update: 15th July 2006
URL: http://www.cs.stir.ac.uk/~kjt/research/cost247.html