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