Home Search Hrvatski

Acronym: COST 247 
Name: Verification and Validation Mtehods for Formal Description 
Project status: From: 1993-12-01 To: 1997-12-01 (Completed)
Contract number:  
Action line:  
Type (Programme): MULTILAT 
Instrument: COST 
Project cost: -
Project funding: -
Project coordinator
Organisation Name: Middle East Technical University 
Organisation adress: 06531 Ankara 
Organisation country: Turska 
Contact person name: Kemal Inan 
Contact person email: Email 
Croatian partner
Contact person names:  
Contact organisation unit:  
Contact person tel:  
Croatian partner
Organisation name: Fakultet elektrotehnike i računarstva 
Organisation address: Unska 3 
Contact person name: Ignac Lovrek
Contact person tel:
+385 1 612 98 02  Contact person fax: +385 612 98 32 
Contact person e-mail:  
Organisation nameCountry
Univesrite de Liege Belgija 
Univerza v Mariboru Slovenija 
INRIA Francuska 
University of Stirling Velika Britanija 
CNR-CNUCE Italija 
Universidad Politecnica de Madrid  Španjolska 
Polish Academy of Sciences  Poljska 
Technical University Berlin  Njemačka 
Centrum voor Wiskunde en Informatica  Nizozemska 
SICS Švedska 
Hungarian Academy of Sciences  Mađarska 
Masaryk University Brno Češka Republika 
Tele Danmak Research Njemačka 
Univesrity of Helsubki Finska 
National Technical University Athens Grčka 
CSEM Švicarska 
Short description of project
Co-ordination of national efforts to analyse, classify and develop new techniques and tools for current software verification/validation and testing. Application of the techniques to selected realistic problems in contemporary distributed communication architectures. Improvement of existing specification language standards along directions of industrial applicability 
Short description of the task performed by Croatian partner
WG2 Analysis and Validation: Create a library of short problem descriptions that people have worked on. Gain new experience in applying existing techniques to common examples (Message Sequence Chart Specification and Verification using Promela/SPIN)