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
CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria Paris-Rocquencourt, DI-ENS - Département d'informatique de l'École normale supérieure
4 Institute IMDEA Software [Madrid]
Type de document :
Communication dans un congrès
American Institute of Aeronautics and Astronautics - AIAA Infotech@Aerospace 2010, Apr 2010, Atlanta, United States. American Institue of Aeronautics and Astronautics, 2010, 〈http://www.google.fr/url?sa=t&source=web&cd=2&sqi=2&ved=0CB4QFjAB&url=http%3A%2F%2Fpdf.aiaa.org%2Fpreview%2F2010%2FCDReadyMIAA10_2358%2FPV2010_3385.pdf&ei=1UvBTLLqEMGKswamv-S4CA&usg=AFQjCNFGH0_rG7PESuLq1mQXnbBFlLvSzw&sig2=Kk5dxWbo0c1XTGFijYp4xA〉
Liste complète des métadonnées
https://hal.inria.fr/inria-00528611
Contributeur : Jérôme Feret <>
Soumis le : vendredi 22 octobre 2010 - 10:47:20
Dernière modification le : vendredi 25 mai 2018 - 12:02:05

Identifiants

  • HAL Id : inria-00528611, version 1

Collections

INRIA | 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. American Institue of Aeronautics and Astronautics, 2010, 〈http://www.google.fr/url?sa=t&source=web&cd=2&sqi=2&ved=0CB4QFjAB&url=http%3A%2F%2Fpdf.aiaa.org%2Fpreview%2F2010%2FCDReadyMIAA10_2358%2FPV2010_3385.pdf&ei=1UvBTLLqEMGKswamv-S4CA&usg=AFQjCNFGH0_rG7PESuLq1mQXnbBFlLvSzw&sig2=Kk5dxWbo0c1XTGFijYp4xA〉. 〈inria-00528611〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

344

Contact


archive-ouverte@inria.fr