Show simple item record

dc.creatorRay, Sandipen_US
dc.date.accessioned2008-08-28T22:41:23Z
dc.date.available2008-08-28T22:41:23Z
dc.date.created2005en_US
dc.date.issued2008-08-28T22:41:23Z
dc.identifierb61122658en_US
dc.identifier.urihttp://hdl.handle.net/2152/2286
dc.descriptiontext
dc.description.abstractNot availableen_US
dc.format.mediumelectronicen_US
dc.language.isoengen_US
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_US
dc.subject.lcshAutomatic theorem provingen_US
dc.subject.lcshComputer programs--Verificationen_US
dc.subject.lcshComputer software--Verificationen_US
dc.subject.lcshIntegrated circuits--Verificationen_US
dc.subject.lcshAxiomsen_US
dc.titleUsing theorem proving and algorithmic decision procedures for large-scale system verificationen_US
dc.description.departmentComputer Sciencesen_US
dc.identifier.oclc70959957en_US
dc.type.genreThesisen_US
thesis.degree.departmentComputer Sciencesen_US
thesis.degree.disciplineComputer Sciencesen_US
thesis.degree.grantorThe University of Texas at Austinen_US
thesis.degree.levelDoctoralen_US
thesis.degree.nameDoctor of Philosophyen_US


Files in this item

Icon

This item appears in the following Collection(s)

Show simple item record