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

Pingree, P. J.; Benowitz, E. G.

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