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

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

Not available === text

Bibliographic Details
Main Author: Ray, Sandip
Format: Others
Language:English
Published: 2008
Subjects:
Automatic theorem proving
Computer programs > Verification
Computer software > Verification
Integrated circuits > Verification
Axioms
Online Access:http://hdl.handle.net/2152/2286
id ndltd-UTEXAS-oai-repositories.lib.utexas.edu-2152-2286
record_format oai_dc
spelling ndltd-UTEXAS-oai-repositories.lib.utexas.edu-2152-22862015-09-20T16:50:40ZUsing theorem proving and algorithmic decision procedures for large-scale system verificationRay, SandipAutomatic theorem provingComputer programs--VerificationComputer software--VerificationIntegrated circuits--VerificationAxiomsNot availabletext2008-08-28T22:41:23Z2008-08-28T22:41:23Z20052008-08-28T22:41:23ZThesistextelectronicb61122658http://hdl.handle.net/2152/228670959957b61122658engCopyright 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.
collection NDLTD
language English
format Others
sources NDLTD
topic Automatic theorem proving
Computer programs--Verification
Computer software--Verification
Integrated circuits--Verification
Axioms
spellingShingle Automatic theorem proving
Computer programs--Verification
Computer software--Verification
Integrated circuits--Verification
Axioms
Ray, Sandip
Using theorem proving and algorithmic decision procedures for large-scale system verification
description Not available === text
author Ray, Sandip
author_facet Ray, Sandip
author_sort Ray, Sandip
title Using theorem proving and algorithmic decision procedures for large-scale system verification
title_short Using theorem proving and algorithmic decision procedures for large-scale system verification
title_full Using theorem proving and algorithmic decision procedures for large-scale system verification
title_fullStr Using theorem proving and algorithmic decision procedures for large-scale system verification
title_full_unstemmed Using theorem proving and algorithmic decision procedures for large-scale system verification
title_sort using theorem proving and algorithmic decision procedures for large-scale system verification
publishDate 2008
url http://hdl.handle.net/2152/2286
work_keys_str_mv AT raysandip usingtheoremprovingandalgorithmicdecisionproceduresforlargescalesystemverification
_version_ 1716820170677157888

Similar Items