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
| Title: | Using theorem proving and algorithmic decision procedures for large-scale system verification |
| Author: | Ray, Sandip |
| Abstract: | Not available |
| Department: | Computer Sciences |
| Subject: |
Automatic theorem proving
Computer programs--Verification Computer software--Verification Integrated circuits--Verification Axioms |
| URI: | http://hdl.handle.net/2152/2286 |
| Date: | 2005 |
Files in this work
This work appears in the following Collection(s)
-
UT Electronic Theses and Dissertations
ETD is a collection of UT Austin authored electronic dissertations.