NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Proof or Consequences the Verification of Curiosity's SoftwareNo abstract available
Document ID
20150005661
Acquisition Source
Jet Propulsion Laboratory
Document Type
Presentation
External Source(s)
hdl:2014/43336
Authors
Holzman, Gerard J. (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Date Acquired
April 15, 2015
Publication Date
November 13, 2012
Subject Category
Computer Programming And Software
Distribution Limits
Public
Copyright
Other
Keywords
logic model checking
Mars Science Laboratory rover
software verification

Available Downloads

There are no available downloads for this record.

Related Records

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