Moore, J Strother, 1947-709599572008-08-282017-05-112008-08-282017-05-112005http://hdl.handle.net/2152/2286textelectronicengCopyright 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.Automatic theorem provingComputer programs--VerificationComputer software--VerificationIntegrated circuits--VerificationAxiomsThesis