NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Spot: A Programming Language Emphasizing SafetyNo abstract available
Document ID
20150008136
Acquisition Source
Jet Propulsion Laboratory
Document Type
Other
External Source(s)
hdl:2014/44505
Authors
Gostelow, Kim P. (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Bocchino, Robert L., Jr. (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Gamble, Ed (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Som, Raft (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Date Acquired
May 14, 2015
Publication Date
March 17, 2014
Subject Category
Computer Programming And Software
Air Transportation And Safety
Report/Patent Number
JPL-IOM-349C-14-001
Distribution Limits
Public
Copyright
Other
Keywords
flight software
C
SPIN model checker
Curiosity
C++

Available Downloads

There are no available downloads for this record.

Related Records

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