{"product_id":"model-checking-software-alfons-laarman-9783030846282","title":"Model Checking Software: 27th International Symposium, Spin 2021, Virtual Event, July 12, 2021, Proceedings","description":"This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.\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\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Alfons Laarman\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3030846288\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783030846282\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 08\/03\/2021\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 195\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.66lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 0.44d","brand":"Alfons Laarman","offers":[{"title":"Paperback","offer_id":43945083928831,"sku":"9783030846282","price":54.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/products\/img_128e52dc-3263-4012-91d9-eadb386ca317.jpg?v=1681506691","url":"https:\/\/www.whiterainbookhouse.com\/products\/model-checking-software-alfons-laarman-9783030846282","provider":"WR Book House","version":"1.0","type":"link"}