CONTROVERT

Vérification de systèmes de contrôle
Control Systems Verification

Projet 2005 CONTROVERT de l'ARA SSIA (Sécurité des Systèmes embarqués et Intelligence Ambiante) de l'ANR

Contacts du projet / Project contacts :

• Pierre APKARIAN
  ONERA
  2, Av. Edouard Belin
  31055 - Toulouse - Franc> tel: +33 62 25 27 84 - fax: +33 5 62 25 25 64
  apkarian@cert.fr
  http://www.cert.fr/dcsd/cdin/apkarian/
  
  
• Patrick COUSOT (Coordinateur)
  École normale supérieure
  Département d'informatique
  45 rue d'Ulm
  75230 Paris cedex 05
  (tél: 01 44 32 20 64, fax: 01 44 3221 52)
  cousot@ens.fr
  http://www.di.ens.fr/~cousot
  
  
• Radhia COUSOT
  CNRS & École polytechnique
  Route de Saclay
  91128 Palaiseau cedex (France)
  (tel: +33 1 69 33 45 95, fax: +33 1 69 33 30 14)
  Radhia.Cousot@polytechnique.fr
  http://ultralix.polytechnique.fr/~radhia
  
  
• Dominikus NOLL
  Université Paul Sabatier
  Institut de Mathématiques
  118 route de Narbonne
  31062 Toulouse, France
  tel : 0033 5 61 55 86 22
  fax : 0033 5 61 55 83 85
  noll@mip.ups-tlse.fr
  http://www-mip.ups-tlse.fr/~noll/

Poster de présentation du projet / Project poster presentation : pdf  

URL du projet / Project URL :

www.di.ens.fr/~cousot/projets/CONTROVERT/