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

Similar Items

Similar Items