Show simple item record

dc.contributor.advisorMoore, J Strother, 1947-en
dc.creatorRay, Sandipen
dc.date.accessioned2008-08-28T22:41:23Zen
dc.date.available2008-08-28T22:41:23Zen
dc.date.created2005en
dc.date.issued2008-08-28T22:41:23Zen
dc.identifierb61122658en
dc.identifier.urihttp://hdl.handle.net/2152/2286en
dc.descriptiontexten
dc.description.abstractNot availableen
dc.format.mediumelectronicen
dc.language.isoengen
dc.rightsCopyright 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.en
dc.subject.lcshAutomatic theorem provingen
dc.subject.lcshComputer programs--Verificationen
dc.subject.lcshComputer software--Verificationen
dc.subject.lcshIntegrated circuits--Verificationen
dc.subject.lcshAxiomsen
dc.titleUsing theorem proving and algorithmic decision procedures for large-scale system verificationen
dc.description.departmentComputer Sciencesen
dc.identifier.oclc70959957en
dc.type.genreThesisen
thesis.degree.departmentComputer Sciencesen
thesis.degree.disciplineComputer Sciencesen
thesis.degree.grantorThe University of Texas at Austinen
thesis.degree.levelDoctoralen
thesis.degree.nameDoctor of Philosophyen


Files in this item

Icon

This item appears in the following Collection(s)

Show simple item record