Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS

Practical formal verification using automated reasoning and model checking

Dal 2006-09-01 al 2009-02-28

Dettagli del progetto

Costo totale:

EUR 130 300

Contributo UE:

EUR 150 000

Coordinato in:

Austria

Obiettivo

Coordinatore

UNIVERSITÄT LINZ
Austria
Altenberger Straße 69
LINZ
Austria
Contatto amministrativo: Tudor JEBELEAN
Tel.: +40-256-244834
Fax: +40-256-244834
E-mail

Partecipanti

INSTITUTE E-AUSTRIA TIMISOARA
Romania
BLD. V. PARVAN, 4
TIMISOARA
Romania
See on map
Contatto amministrativo: Marius MINEA
Tel.: +7-495-9393031
Fax: +7-495-9393031
E-mail
IV.JAVAKHISHVILI TBILISI STATE UNIVERSITY
Georgia
UNIVERSITY STR., 2
TBILISI
Georgia
See on map
Contatto amministrativo: Jemal ANTIDZE
Tel.: +995-3-2305079
Fax: +995-3-2305079
E-mail
MOSCOW STATE UNIVERSITY (MGU)
Russia
VOROBIEVY GORY
MOSCOW
Russia
See on map
Contatto amministrativo: Valery PLISKO
Tel.: +380-44-5260058
Fax: +380-44-5267418
E-mail
TARAS SHEVCHENKO NATIONAL UNIVERSITY OF KIEV
Ukraine
PROSPEKT AKAD. GLUSHKOVA, 2/6
KYIV
Ukraine
Contatto amministrativo: Anatoly ANISIMOV
Tel.: +43-702-4689946
Fax: +43-702-4689930
E-mail
V.M. GLUSHKOV INSTITUTE OF CYBERNETICS OF THE NASU
Ukraine
PROSPEKT AKAD. GLUSHKOVA
KYIV
Ukraine
Contatto amministrativo: Aleksander LETICHEVSKY
Tel.: +380-44-2590129
Fax: +380-44-2590439
E-mail