NASA NTRS · 20060032122
Using SPIN model checking for flight software verification
Abstract
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.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Gluck, P. R., Holzmann, G. J.. 2002-03-10. Using SPIN model checking for flight software verification. https://ntrs.nasa.gov/citations/20060032122
Cite the original work for its findings. Save a collection to share your selection of sources.