L'analyseur statique Astrée

Julien Bertrane 1 Jérôme Feret 2 Patrick Cousot 1 Radhia Cousot 1 Antoine Miné 1 Xavier Rival 2 Laurent Mauborgne 3
2 ABSTRACTION - Abstract Interpretation and Static Analysis
CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria Paris-Rocquencourt, DI-ENS - Département d'informatique de l'École normale supérieure
Type de document :
Chapitre d'ouvrage
Jean-Louis Boulanger. Utilisations industrielles des techniques formelles : interprétation abstraite, Hermes-Lavoisier, pp.67--114, 2011, Informatique et systèmes d'information, 2-7462-3206-5
Liste complète des métadonnées

https://hal.inria.fr/inria-00636877
Contributeur : Jérôme Feret <>
Soumis le : vendredi 28 octobre 2011 - 15:32:03
Dernière modification le : vendredi 25 mai 2018 - 12:02:05

Identifiants

  • HAL Id : inria-00636877, version 1

Collections

Citation

Julien Bertrane, Jérôme Feret, Patrick Cousot, Radhia Cousot, Antoine Miné, et al.. L'analyseur statique Astrée. Jean-Louis Boulanger. Utilisations industrielles des techniques formelles : interprétation abstraite, Hermes-Lavoisier, pp.67--114, 2011, Informatique et systèmes d'information, 2-7462-3206-5. 〈inria-00636877〉

Partager

Métriques

Consultations de la notice

240