Static Analysis and Verification of Aerospace Software by Abstract Interpretation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010
No file

Dates and versions

inria-00528611 , version 1 (22-10-2010)

Identifiers

  • HAL Id : inria-00528611 , version 1

Cite

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⟩
261 View
0 Download

Share

Gmail Facebook X LinkedIn More