Formal methods and software reliability

Holzmann, Gerard J.

dc.contributor.author	Holzmann, Gerard J.
dc.date.accessioned	2006-02-08
dc.date.available	2006-02-08
dc.date.issued	2004-06-23
dc.identifier.citation	Second ACM-IEEE International Conference, San Diego Hilton, San Diego, CA, June 23, 2004	en
dc.identifier.clearanceno	04-0962
dc.identifier.uri	http://hdl.handle.net/2014/38432
dc.description.abstract	In this position statement I briefly describe how the software reliability problem has changed over the years, and the primary reasons for the recent creation of the Laboratory for Reliable Software at JPL	en
dc.description.sponsorship	NASA/JPL	en
dc.format.extent	203631 bytes
dc.format.mimetype	application/pdf
dc.language.iso	en_US	en
dc.publisher	Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2004	en
dc.subject	software reliability	en
dc.title	Formal methods and software reliability	en
dc.type	Preprint	en