{"product_id":"model-checking-software-27th-international-symposium-spin-2021-virtual-event-july-12-2021-proceedings-von-ana-sokolova-alfons-laarman-ana-sokolova-hrsg","title":"Model Checking Software","description":"\n                                This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.\n                \n                \u003cp\u003eThe 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 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-9783030846282\"\u003e\u003ch3\u003e27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783030846282","offer_id":39419407859805,"sku":"9783030846282","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/93f28345-b9ed-43b8-a1d5-b29f2ed111e9.jpg?v=1773551462","url":"https:\/\/shop.autorenwelt.de\/products\/model-checking-software-27th-international-symposium-spin-2021-virtual-event-july-12-2021-proceedings-von-ana-sokolova-alfons-laarman-ana-sokolova-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}