Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

Practical formal verification using automated reasoning and model checking

Von 2006-09-01 bis 2009-02-28

Projektdetails

Gesamtkosten:

EUR 130 300

EU-Beitrag:

EUR 150 000

Koordiniert in:

Austria

Ziel

Koordinator

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

Teilnehmer

INSTITUTE E-AUSTRIA TIMISOARA
Romania
BLD. V. PARVAN, 4
TIMISOARA
Romania
See on map
Administrative Kontaktangaben: Marius MINEA
Tel.: +7-495-9393031
Fax: +7-495-9393031
E-Mail-Adresse
IV.JAVAKHISHVILI TBILISI STATE UNIVERSITY
Georgia
UNIVERSITY STR., 2
TBILISI
Georgia
See on map
Administrative Kontaktangaben: Jemal ANTIDZE
Tel.: +995-3-2305079
Fax: +995-3-2305079
E-Mail-Adresse
MOSCOW STATE UNIVERSITY (MGU)
Russia
VOROBIEVY GORY
MOSCOW
Russia
See on map
Administrative Kontaktangaben: Valery PLISKO
Tel.: +380-44-5260058
Fax: +380-44-5267418
E-Mail-Adresse
TARAS SHEVCHENKO NATIONAL UNIVERSITY OF KIEV
Ukraine
PROSPEKT AKAD. GLUSHKOVA, 2/6
KYIV
Ukraine
Administrative Kontaktangaben: Anatoly ANISIMOV
Tel.: +43-702-4689946
Fax: +43-702-4689930
E-Mail-Adresse
V.M. GLUSHKOV INSTITUTE OF CYBERNETICS OF THE NASU
Ukraine
PROSPEKT AKAD. GLUSHKOVA
KYIV
Ukraine
Administrative Kontaktangaben: Aleksander LETICHEVSKY
Tel.: +380-44-2590129
Fax: +380-44-2590439
E-Mail-Adresse
Folgen Sie uns auf: RSS Facebook Twitter YouTube Verwaltet vom Amt für Veröffentlichungen der EU Nach oben