Community Research and Development Information Service - CORDIS

Automated Verification of Infinite State Systems

From 2001-05-01 to 2002-04-30 | AVISS Website

Project details

Total cost:

EUR 205 434

EU contribution:

EUR 100 000

Coordinated in:

Germany

Funding scheme:

ACM - Preparatory, accompanying and support measures

Objective

Coordinator

ALBERT-LUDWIGS-UNIVERSITAET FREIBURG
Germany
FAHNENBERGPLATZ
79085 FREIBURG
Germany
See on map
Administrative contact: David BASIN, (Project Coordinator)
Tel.: +49-76-12038240
Fax: +49-76-12038242
E-mail

Participants

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
France
DOMAINE DE VOLUCEAU
78153 LE CHESNAY
France
Administrative contact: Michael RUSINOWITCH, (Directeur de Recherche)
Tel.: +33-3-83593020
Fax: +33-3-83278319
E-mail
UNIVERSITA DEGLI STUDI DI GENOVA
Italy
VIA BALBI 5
16126 GENOVA
Italy
See on map
Administrative contact: Alessandro ARMANDO, (Head of Unit)
Tel.: +39-010-3532216
Fax: +39-010-3532948
E-mail
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top