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 :

• 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 32 21 52)
  cousot@ens.fr
  http://www.di.ens.fr/~cousot
  
  
• Pierre APKARIAN
  ONERA
  2, Av. Edouard Belin
  31055 - Toulouse - France
  tel: +33 62 25 27 84 - fax: +33 5 62 25 25 64
  apkarian@cert.fr
  http://www.cert.fr/dcsd/cdin/apkarian/
  
  
• Radhia COUSOT
  CNRS & École normale supérieure
  Département d'informatique
  45 rue d'Ulm
  75230 Paris cedex 05
  (tél: 01 44 32 20 34, fax: 01 44 32 21 52)
  radhia.cousot@ens.fr
  http://www.di.ens.fr/~rcousot
  
  
• 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/