Using theorem proving and algorithmic decision procedures for large-scale system verification

Repository

dc.contributor.advisor	Moore, J Strother, 1947-
dc.creator	Ray, Sandip
dc.date.accessioned	2008-08-28T22:41:23Z
dc.date.available	2008-08-28T22:41:23Z
dc.date.created	2005
dc.date.issued	2008-08-28T22:41:23Z
dc.identifier.uri	http://hdl.handle.net/2152/2286
dc.description.abstract	Not available
dc.format.medium	electronic
dc.language.iso	eng
dc.rights	Copyright © is held by the author. Presentation of this material on the Libraries' web site by University Libraries, The University of Texas at Austin was made possible under a limited license grant from the author who has retained all copyrights in the works.
dc.subject.lcsh	Automatic theorem proving
dc.subject.lcsh	Computer programs--Verification
dc.subject.lcsh	Computer software--Verification
dc.subject.lcsh	Integrated circuits--Verification
dc.subject.lcsh	Axioms
dc.title	Using theorem proving and algorithmic decision procedures for large-scale system verification
dc.description.department	Computer Sciences
dc.identifier.oclc	70959957
dc.identifier.recnum	b61122658
dc.type.genre	Thesis
dc.type.material	text
thesis.degree.department	Computer Sciences
thesis.degree.discipline	Computer Sciences
thesis.degree.grantor	The University of Texas at Austin
thesis.degree.level	Doctoral
thesis.degree.name	Doctor of Philosophy