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