Skip to Main content Skip to Navigation
Conference papers

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Julien Bertrane 1 Patrick Cousot 1, 2 Radhia Cousot 1 Jérôme Feret 3 Laurent Mauborgne 4 Antoine Miné 1 Xavier Rival 3 
1 LIENS - Laboratoire d'informatique de l'école normale supérieure
2 CIMS - Courant Institute of Mathematical Sciences [New York]
3 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
4 Institute IMDEA Software [Madrid]
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/inria-00528611
Contributor : Jérôme Feret Connect in order to contact the contributor
Submitted on : Friday, October 22, 2010 - 10:47:20 AM
Last modification on : Thursday, March 17, 2022 - 10:08:35 AM

Identifiers

  • HAL Id : inria-00528611, version 1

Collections

ENS-PARIS | CNRS | INRIA | INRIA2 | PSL

Citation

Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, et al.. Static Analysis and Verification of Aerospace Software by Abstract Interpretation. American Institute of Aeronautics and Astronautics - AIAA Infotech@Aerospace 2010, Apr 2010, Atlanta, United States. ⟨inria-00528611⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

255

 

Contact                    Legal Notice                    Personal Data