Using SPIN model checking for verification of flight software
Explore the source record for details and available documents.
SPIN model checking verification software↗
Engineering topics
Gluck, P. R.
Publications and source records attributed to Gluck, P. R..
Using SPIN model checking for flight software verification
We 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.
SPIN model checking verification software↗
Software for the final frontier
Explore the source record for details and available documents.
software↗
Debugging, testing and verification of the Deep Space One spacecraft software
Explore the source record for details and available documents.
debugging testing verification software Deep Space↗