{"product_id":"systems-and-software-verification","title":"Systems and Software Verification: Model-Checking Techniques and Tools","description":"Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct.\u003cbr\u003eThis book provides a basic introduction to this new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.","brand":"None","offers":[{"title":"Paperback","offer_id":46190185382065,"sku":"9783642074783","price":233.95,"currency_code":"CAD","in_stock":true},{"title":"Hardcover","offer_id":46190185414833,"sku":"9783540415237","price":233.95,"currency_code":"CAD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0655\/8980\/5233\/files\/1_7ebfd491-fe31-4059-92e9-17ff769d3fe1.jpg?v=1762934236","url":"https:\/\/www.indigo.ca\/products\/systems-and-software-verification","provider":"Indigo","version":"1.0","type":"link"}