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 full record

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

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

This work appears in the following Collection(s)

Show full record


Advanced Search

Browse

My Account

Statistics

Information