eBook (PDF), 137 Pages
This item has not been rated yet
Price: $0.99
Model checking is an algorithmic method for ascertaining correct behavior of a model by checking if the model adheres to its formal properties. This dissertation addresses two important sanity checks for increasing confidence in the outcome of model checking, viz.: coverage analysis (``Is the set of properties adequate to certify correctness of the model?'') and vacuity detection (``Does the model satisfy the properties for the right reasons?''). This dissertation proposes a novel and fast algorithm to compute coverage of properties and detect vacuity of properties. This dissertation also shows that vacuous properties enable computation of coarser approximate images. In particular, it shows that vacuous properties induce weaker interpolants. In addition. this dissertation relates the semantic notions of vacuity and notions of coverage proving that vacuity is stronger than coverage.
Available in PDF Format

Ratings & Reviews

Log in to review this item
There are no reviews for the current version of this product
There are no reviews for previous versions of this product

Product Details

September 27, 2011
File Format
File Size
1.16 MB
Product ID

Formats for this Ebook

Required Software Any PDF Reader, Apple Preview
Supported Devices Windows PC/PocketPC, Mac OS, Linux OS, Apple iPhone/iPod Touch... (See More)
# of Devices Unlimited
Flowing Text / Pages Pages
Printable? Yes
Report This Content to Lulu >

Moderation of Questionable Content

Thank you for your interest in helping us moderate questionable content on Lulu. If you need assistance with an order or the publishing process, please contact our support team directly.

How does this content violate the Lulu Membership Agreement?

Listed In

More From Mitra Purandare

Thesis Thesis By Mitra Purandare Paperback: