Community Research and Development Information Service - CORDIS

Practical formal verification using automated reasoning and model checking

From 2006-09-01 to 2009-02-28

Project details

Total cost:

EUR 130 300

EU contribution:

EUR 150 000

Coordinated in:

Austria

Objective

Coordinator

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

Participants

INSTITUTE E-AUSTRIA TIMISOARA
Romania
BLD. V. PARVAN, 4
TIMISOARA
Romania
See on map
Administrative contact: 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
Administrative contact: Jemal ANTIDZE
Tel.: +995-3-2305079
Fax: +995-3-2305079
E-mail
MOSCOW STATE UNIVERSITY (MGU)
Russia
VOROBIEVY GORY
MOSCOW
Russia
See on map
Administrative contact: 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
Administrative contact: 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
Administrative contact: Aleksander LETICHEVSKY
Tel.: +380-44-2590129
Fax: +380-44-2590439
E-mail
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top