Skip to Main content Skip to Navigation
Conference papers

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00528611
Contributor : Jérôme Feret <>
Submitted on : Friday, October 22, 2010 - 10:47:20 AM
Last modification on : Thursday, July 1, 2021 - 5:58:03 PM

Identifiers

  • HAL Id : inria-00528611, version 1

Collections

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⟩

Share

Metrics

Record views

421