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
PublisherAmerican Institute of Aeronautics and Astronautics Inc.
ISBN (Print)9781600867439
StatePublished - 2010

Publication series

NameAIAA Infotech at Aerospace 2010

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] (AIAA Infotech at Aerospace 2010). American Institute of Aeronautics and Astronautics Inc..