Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

Practical formal verification using automated reasoning and model checking

Desde 2006-09-01 hasta 2009-02-28

Detalles del proyecto

Coste total:

EUR 130 300

Aportación de la UE:

EUR 150 000

Coordinado en:

Austria

Objetivo

Coordinador

UNIVERSITÄT LINZ
Austria
Altenberger Straße 69
LINZ
Austria
Contacto administrativo: Tudor JEBELEAN
Tel.: +40-256-244834
Fax: +40-256-244834
Correo electrónico

Participantes

INSTITUTE E-AUSTRIA TIMISOARA
Romania
BLD. V. PARVAN, 4
TIMISOARA
Romania
See on map
Contacto administrativo: Marius MINEA
Tel.: +7-495-9393031
Fax: +7-495-9393031
Correo electrónico
IV.JAVAKHISHVILI TBILISI STATE UNIVERSITY
Georgia
UNIVERSITY STR., 2
TBILISI
Georgia
See on map
Contacto administrativo: Jemal ANTIDZE
Tel.: +995-3-2305079
Fax: +995-3-2305079
Correo electrónico
MOSCOW STATE UNIVERSITY (MGU)
Russia
VOROBIEVY GORY
MOSCOW
Russia
See on map
Contacto administrativo: Valery PLISKO
Tel.: +380-44-5260058
Fax: +380-44-5267418
Correo electrónico
TARAS SHEVCHENKO NATIONAL UNIVERSITY OF KIEV
Ukraine
PROSPEKT AKAD. GLUSHKOVA, 2/6
KYIV
Ukraine
Contacto administrativo: Anatoly ANISIMOV
Tel.: +43-702-4689946
Fax: +43-702-4689930
Correo electrónico
V.M. GLUSHKOV INSTITUTE OF CYBERNETICS OF THE NASU
Ukraine
PROSPEKT AKAD. GLUSHKOVA
KYIV
Ukraine
Contacto administrativo: Aleksander LETICHEVSKY
Tel.: +380-44-2590129
Fax: +380-44-2590439
Correo electrónico
Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba