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