NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Due to the lapse in federal government funding, NASA is not updating this website. We sincerely regret this inconvenience.

Back to Results
Using SPIN model checking for flight software verificationWe will describe the model checking process, the tools used, and the methods and conditions necessary to successfully perform model checking on the DS1 flight software.
Document ID
20060032122
Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
External Source(s)
hdl:2014/13568
Authors
Gluck, P. R.
Holzmann, G. J.
Date Acquired
August 23, 2013
Publication Date
March 10, 2002
Subject Category
Computer Programming And Software
Distribution Limits
Public
Copyright
Other
Keywords
SPIN model checking verification software

Available Downloads

There are no available downloads for this record.

Related Records

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