{"product_id":"model-checking-software-26th-international-symposium-spin-2019-beijing-china-july-15-16-2019-proceedings-von-fabrizio-biondi-thomas-given-wilson-axel-legay-hrsg","title":"Model Checking Software","description":"\n                                \n                \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.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThe 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\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783030309220\"\u003e\u003ch3\u003e26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783030309220","offer_id":39423789793373,"sku":"9783030309220","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/a43876f4-2e83-4e98-878b-deef6b77c5b6.jpg?v=1773551504","url":"https:\/\/shop.autorenwelt.de\/products\/model-checking-software-26th-international-symposium-spin-2019-beijing-china-july-15-16-2019-proceedings-von-fabrizio-biondi-thomas-given-wilson-axel-legay-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}