| 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) |
Ovo web sjedište koristi tehnologiju "kolačića" (eng. cookie) da bi se korisnicima prikazao dinamičan i personaliziran sadržaj, te su oni nužni za ispravan rad. Ako nastavite pregledavati ove stranice, kolačići će biti korišteni u suradnji s vašim preglednikom Weba.
login
