{"product_id":"finding-your-way-through-formal-verification-2nd-edition-9798374027136","title":"Finding Your Way Through Formal Verification 2nd Edition","description":"Finding Your Way Through Formal Verification provides an introduction to formal verification methods. This book was written as a way to dip a toe in formal waters. You may be curious about formal verification, but you're not yet sure it is right for your needs. Or you may need to plan and supervise formal verification activity as a part of a larger verification objective. You don't plan to run formal tools yourself but you know that effective management will require some understanding. In verification planning, you certainly need to know where formal can play a role and where it may not be suitable, what effort and expertise should be planned for in using these techniques (like most verification techniques, these generally aren't push-button) and how you can assess effectiveness and coverage in what formal teams report back to you.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-11663874\"\u003eManish Pandey\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-13375425\"\u003eRajeev Ranjan\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-5207598\"\u003eSean Safarpour\u003c\/a\u003e\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Independently Published\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 02\/02\/2023\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 128\u003cbr\u003e\u003cb\u003eBinding Type:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.54lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.00h x 6.00w x 0.33d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9798374027136\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 8374027134\u003cbr\u003e\u003cb\u003eBISAC Categories:\u003c\/b\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-TEC\"\u003eTechnology \u0026amp; Engineering\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-TEC000000\"\u003eGeneral\u003c\/a\u003e\u003cbr\u003e\u003cp\u003e\u003ci\u003eThis title is not returnable\u003c\/i\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"Independently Published","offers":[{"title":"Default Title","offer_id":44708793909485,"sku":"9798374027136","price":31.1,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_8aab5a22-7280-4340-a823-5bfb0a275598.jpg?v=1703997870","url":"https:\/\/sureshotbooks.com\/products\/finding-your-way-through-formal-verification-2nd-edition-9798374027136","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}