Using SPIN model checking for flight software verification

Gluck, P. R.; Holzmann,  G. J.

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