{"product_id":"model-checking-software-von-undefined","title":"Model Checking Software","description":"\n                                This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.\n                \n                \u003cp\u003eThe 8 full papers were carefully reviewed and selected from 11 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-9783031150760\"\u003e\u003ch3\u003e28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783031150760","offer_id":40460994379869,"sku":"9783031150760","price":106.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/2c09a097-0b1e-47e2-9c61-4530a21d9481.jpg?v=1773551927","url":"https:\/\/shop.autorenwelt.de\/en\/products\/model-checking-software-von-undefined","provider":"Autorenwelt Shop","version":"1.0","type":"link"}