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.
Using SPIN model checking for flight software verification
IEEE Aerospace Conference
2002-03-10
Conference paper
No indication
English
2.0303 Using Spin Model Checking for Flight Software Verification
British Library Conference Proceedings | 2002
|