{"product_id":"model-checking-software-9783030309237","title":"Model Checking Software","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML\/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915573522711,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030309237.jpg?v=1781526995","url":"https:\/\/payment.letskitaboo.com\/ur\/products\/model-checking-software-9783030309237","provider":"Kitaboo One eStore","version":"1.0","type":"link"}