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

Simple item page
dc.contributor.advisorMoore, J Strother, 1947-en
dc.creatorRay, Sandipen
dc.date.accessioned2008-08-28T22:41:23Zen
dc.date.accessioned2017-05-11T22:17:06Z
dc.date.available2008-08-28T22:41:23Zen
dc.date.available2017-05-11T22:17:06Z
dc.date.issued2005en
dc.descriptiontexten
dc.description.departmentComputer Sciencesen
dc.format.mediumelectronicen
dc.identifierb61122658en
dc.identifier.oclc70959957en
dc.identifier.urihttp://hdl.handle.net/2152/2286en
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.type.genreThesisen

Files

Collections

University of Texas at Austin