Skip to Main content Skip to Navigation
Book sections

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
DI-ENS - Département d'informatique - ENS Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Document type :
Book sections
Complete list of metadata

https://hal.inria.fr/inria-00636877
Contributor : Jérôme Feret Connect in order to contact the contributor
Submitted on : Friday, October 28, 2011 - 3:32:03 PM
Last modification on : Thursday, March 17, 2022 - 10:08:35 AM

Identifiers

  • 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⟩

Share

Metrics

Record views

157