Project database

The page provides a list of national and international projects where FER participates or has participated as a project coordinator or partner.


Projects

   

Project

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

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:
Email 

Partners

Organisation name Country
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)