NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Static Analysis of C ProgramsContents include the following: Motivation. Cost of losing missions. Introduction to Static Analysis:definition, defect classes, applicability issues, specialization, analysis of MPF. C Global Surveyor (CGS): fact sheet, CGS phases, example. Conclusions.
Document ID
20040046137
Acquisition Source
Ames Research Center
Document Type
Other
Authors
Venet, Arnaud (Kestrel Technology, LLC Moffett Field, CA, United States)
Brat, Guillaume (Kestrel Technology, LLC Moffett Field, CA, United States)
Date Acquired
August 21, 2013
Publication Date
January 1, 2003
Subject Category
Numerical Analysis
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Document Inquiry

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
No Preview Available