Combining advanced formal hardware verification techniques

This dissertation combines formal verification techniques in an attempt to reduce the human effort required to verify large systems formally. One method to reduce the human effort required by formal verification is to modify general-purpose theorem proving techniques to increase the number of lemma...

Full description

Bibliographic Details
Main Author: Reeber, Erik Henry, 1978-
Other Authors: Hunt, Warren A., 1958-
Format: Others
Language:English
Published: 2008
Subjects:
Online Access:http://hdl.handle.net/2152/3662