JPL Technical Report Server

Using SPIN model checking for flight software verification

Show simple item record

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


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search


Browse

My Account