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

Repository

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

Show simple record

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

Files in this work

Download File: rays14658.pdf
Size: 1.266Mb
Format: application/pdf

This work appears in the following Collection(s)

Show simple record


Advanced Search

Browse

My Account

Statistics

Information