L'analyseur statique Astrée - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2011

L'analyseur statique Astrée

Domaines

Autre [cs.OH]

Jérôme Feret  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00636877

Soumis le : vendredi 28 octobre 2011-15:32:03

Dernière modification le : lundi 11 décembre 2023-11:30:55

Fichier non déposé

Dates et versions

inria-00636877 , version 1 (28-10-2011)

Identifiants

  • HAL Id : inria-00636877 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-PARIS CNRS INRIA INRIA2 PSL
164 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More