dc.contributor.author |
Gluck, P. R. |
en_US |
dc.contributor.author |
Holzmann, G. J. |
en_US |
dc.date.accessioned |
2004-09-23 |
|
dc.date.available |
2004-09-23 |
|
dc.date.issued |
2002-03-10 |
en_US |
dc.identifier.citation |
IEEE Aerospace Conference |
en_US |
dc.identifier.citation |
Big Sky, MT, USA |
en_US |
dc.identifier.clearanceno |
01-2705 |
en_US |
dc.identifier.uri |
http://hdl.handle.net/2014/13568 |
|
dc.description.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. |
en_US |
dc.format.extent |
788407 bytes |
|
dc.format.mimetype |
application/pdf |
|
dc.language.iso |
en_US |
|
dc.subject.other |
SPIN model checking verification software |
en_US |
dc.title |
Using SPIN model checking for flight software verification |
en_US |