JPL Technical Report Server

Experiences in integrating auto-translated state-chart designs for model checking

Show simple item record

dc.contributor.author Pingree, P. J. en_US
dc.contributor.author Benowitz, E. G. en_US
dc.date.accessioned 2004-09-16T23:07:01Z
dc.date.available 2004-09-16T23:07:01Z
dc.date.issued 2003-06-23 en_US
dc.identifier.citation Workshop on Model Checking for Dependable Software - Intensive Systems en_US
dc.identifier.citation San Francisco, CA, USA en_US
dc.identifier.clearanceno 03-1176 en_US
dc.identifier.uri http://hdl.handle.net/2014/7367
dc.description.abstract In the complex environment of JPL's flight missions with increasing dependency on advanced software designs, traditional software validation methods of simulation and testing are being stretched to adequately cover the needs of software development. en_US
dc.format.extent 2928171 bytes
dc.format.mimetype application/pdf
dc.language.iso en_US
dc.subject.other model checking statecharts translation verification en_US
dc.title Experiences in integrating auto-translated state-chart designs for model checking en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search


Browse

My Account