Static analysis and verification of aerospace software by abstract interpretation

Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationAIAA Infotech at Aerospace 2010
StatePublished - 2010
EventAIAA Infotech at Aerospace 2010 - Atlanta, GA, United States
Duration: Apr 20 2010Apr 22 2010

Other

OtherAIAA Infotech at Aerospace 2010
CountryUnited States
CityAtlanta, GA
Period4/20/104/22/10

Fingerprint

Static analysis

ASJC Scopus subject areas

  • Aerospace Engineering

Cite this

Bertrane, J., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., & Rival, X. (2010). Static analysis and verification of aerospace software by abstract interpretation. In AIAA Infotech at Aerospace 2010 [2010-3385]

Static analysis and verification of aerospace software by abstract interpretation. / Bertrane, Julien; Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Rival, Xavier.

AIAA Infotech at Aerospace 2010. 2010. 2010-3385.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Bertrane, J, Cousot, P, Cousot, R, Feret, J, Mauborgne, L, Miné, A & Rival, X 2010, Static analysis and verification of aerospace software by abstract interpretation. in AIAA Infotech at Aerospace 2010., 2010-3385, AIAA Infotech at Aerospace 2010, Atlanta, GA, United States, 4/20/10.
Bertrane J, Cousot P, Cousot R, Feret J, Mauborgne L, Miné A et al. Static analysis and verification of aerospace software by abstract interpretation. In AIAA Infotech at Aerospace 2010. 2010. 2010-3385
Bertrane, Julien ; Cousot, Patrick ; Cousot, Radhia ; Feret, Jérôme ; Mauborgne, Laurent ; Miné, Antoine ; Rival, Xavier. / Static analysis and verification of aerospace software by abstract interpretation. AIAA Infotech at Aerospace 2010. 2010.
@inproceedings{0a37b59a2ce341f99663c1a2d03e4163,
title = "Static analysis and verification of aerospace software by abstract interpretation",
author = "Julien Bertrane and Patrick Cousot and Radhia Cousot and J{\'e}r{\^o}me Feret and Laurent Mauborgne and Antoine Min{\'e} and Xavier Rival",
year = "2010",
language = "English (US)",
isbn = "9781600867439",
booktitle = "AIAA Infotech at Aerospace 2010",

}

TY - GEN

T1 - Static analysis and verification of aerospace software by abstract interpretation

AU - Bertrane, Julien

AU - Cousot, Patrick

AU - Cousot, Radhia

AU - Feret, Jérôme

AU - Mauborgne, Laurent

AU - Miné, Antoine

AU - Rival, Xavier

PY - 2010

Y1 - 2010

UR - http://www.scopus.com/inward/record.url?scp=78650029136&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=78650029136&partnerID=8YFLogxK

M3 - Conference contribution

SN - 9781600867439

BT - AIAA Infotech at Aerospace 2010

ER -