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
10.03.2002
Aufsatz (Konferenz)
Keine Angabe
Englisch
2.0303 Using Spin Model Checking for Flight Software Verification
British Library Conference Proceedings | 2002
|