{"product_id":"model-checking-software-von-undefined-5","title":"Model Checking Software","description":"\n                                This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.\n                \n                \u003cp\u003eThe 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 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\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783319941103\"\u003e\u003ch3\u003e25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783319941103","offer_id":40611156295773,"sku":"9783319941103","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/c525e08f-cf8c-4be1-980c-ecac93b1e284.jpg?v=1773552075","url":"https:\/\/shop.autorenwelt.de\/products\/model-checking-software-von-undefined-5","provider":"Autorenwelt Shop","version":"1.0","type":"link"}