{"product_id":"thesis","title":"Thesis","description":"\u003cp\u003eModel 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\u003cbr\u003e\nconfidence in the outcome of model checking, viz.: coverage analysis (``Is the set of properties adequate to certify correctness of\u003cbr\u003e\n  the model?'') and vacuity detection (``Does the model satisfy the properties for the right reasons?'').\u003c\/p\u003e\n\n\u003cp\u003eThis dissertation proposes a novel and fast algorithm to compute coverage of properties and detect vacuity of properties. \u003cbr\u003e\nThis 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\u003cbr\u003e\nproving that vacuity is stronger than coverage.\u003c\/p\u003e","brand":"Mitra Purandare","offers":[{"title":"Paperback","offer_id":44389854216353,"sku":"9781257038688","price":28.86,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0462\/1120\/3233\/files\/1dn82pjr-front-shortedge-384.jpg?v=1748400835","url":"https:\/\/bookswholesale.myshopify.com\/products\/thesis","provider":"BooksWholesale","version":"1.0","type":"link"}