ASTRÉE

Analyse Statique de logiciels Temps-RÉel Embarqués
Static Analysis of Real-Time Embedded Software

Projet exploratoire ASTRÉE du Réseau National de recherche et d'innovation en Technologies Logicielles (RNTL). Exploratory project ASTRÉE of the Réseau National de recherche et d'innovation en Technologies Logicielles (RNTL)  .

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
  
  
• Famantanantsoa RANDIMBIVOLOLONA
  BTY/W/MIS
  Direction des Systèmes et Services
  BP M8621
  Airbus France
  316 route de Bayonne
  31060 TOULOUSE cedex 03 (France)
  tel: +33 5 61 93 08 25
  fax: +33 5 61 93 03 54
  email: famanta.randim@airbus.com
  

Présentation du projet / Project presentation : pdf, ppt  

Publications du projet / Project publications

Logiciel ASTRÉE d'analyse statique / The ASTRÉE static analyzer

URL du projet / Project URL :

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