{"product_id":"symbolic-model-checking-von-kenneth-l-mcmillan","title":"Symbolic Model Checking","description":"Formal verification means having a mathematical model of a  system, a language for specifying desired properties of the system in  a concise, comprehensible and unambiguous way, and a method of proof  to verify that the specified properties are satisfied. When the method  of proof is carried out substantially by machine, we speak of  automatic verification. \u003cem\u003eSymbolic Model Checking\u003c\/em\u003e deals with  methods of automatic verification as applied to computer  hardware.\u003cbr\u003e  The practical motivation for study in this area is the high and  increasing cost of correcting design errors in VLSI technologies.  There is a growing demand for design methodologies that can yield  correct designs on the first fabrication run. Moreover, design errors  that are discovered before fabrication can also be quite costly, in  terms of engineering effort required to correct the error, and the  resulting impact on development schedules. Aside from pure cost  considerations, there is also a need on the theoretical side to  provide a sound mathematical basis for the design of computer systems,  especially in areas that have received little theoretical  attention.\u003cbr\u003e\n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9781461363996\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9781461363996","offer_id":39417247826013,"sku":"9781461363996","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/338fb85b-72a1-436b-b177-35d7c6b4af6e.jpg?v=1775795474","url":"https:\/\/shop.autorenwelt.de\/en\/products\/symbolic-model-checking-von-kenneth-l-mcmillan","provider":"Autorenwelt Shop","version":"1.0","type":"link"}