{"product_id":"9781489993953","title":"Abstraction Refinement For Large Scale Model Checking (Integrated Circuits And Systems)","description":"This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. The suite of algorithms presented here represents significant improvement over prior art; some have already been adopted by the EDA companies in their commercial\/in-house verification tools.\u003cbr\u003e\u003cbr\u003e\u003cbr\u003e\u003cul\u003e\n\u003cli\u003e• \u003cb\u003eAuthor: \u003c\/b\u003eChao Wang, Gary D. Hachtel, Fabio Somenzi\u003c\/li\u003e\n\u003cli\u003e• \u003cb\u003ePublisher: \u003c\/b\u003eSpringer\u003c\/li\u003e\n\u003cli\u003e• \u003cb\u003ePublication Date: \u003c\/b\u003eDec 06, 2014\u003c\/li\u003e\n\u003cli\u003e• \u003cb\u003eNumber of Pages: \u003c\/b\u003e193 pages\u003c\/li\u003e\n\u003cli\u003e• \u003cb\u003eLanguage: \u003c\/b\u003eEnglish\u003c\/li\u003e\n\u003cli\u003e• \u003cb\u003eBinding: \u003c\/b\u003ePaperback\u003c\/li\u003e\n\u003cli\u003e• \u003cb\u003eISBN-10: \u003c\/b\u003e1489993959\u003c\/li\u003e\n\u003cli\u003e• \u003cb\u003eISBN-13: \u003c\/b\u003e9781489993953\u003c\/li\u003e\n\u003c\/ul\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":50135599776049,"sku":"9781489993953","price":166.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0798\/8215\/8385\/files\/9781489993953.jpg?v=1728726507","url":"https:\/\/www.recomparo.com\/products\/9781489993953","provider":"ReComparo.com","version":"1.0","type":"link"}