THÉSÉE

Analyse Statique de Logiciels Asynchrones de Contrôle/Commande
Static Analysis of Asynchronous Control/command Software

Projet 2005 THÉSÉE du RNTL (Réseau National des Technologies Logicielles) 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 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
  
  
• Alain OURGHANLIAN
  EDF R&D
  6, Quai Watier - BP 49
  78401 CHATOU Cedex, France
  
  
• Jean SOUYRIS
  Airbus France
  Division EYY
  316, route de Bayonne
  31060 TOULOUSE Cedex 09 / France
  

URL du projet / Project URL :

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