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 32 21 52)
  cousot@ens.fr
  http://www.di.ens.fr/~cousot
  
  
• 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
  
  
• 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/