{"product_id":"model-checking-software-28th-international-symposium-spin-2022-virtual-event-may-21-2022-proceedings-9783031150760","title":"Model Checking Software: 28th International Symposium, Spin 2022, Virtual Event, May 21, 2022, Proceedings","description":"\u003cp\u003e • Author(s): Owolabi Legunsen\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - General\u003c\/p\u003e\u003cp\u003eThis book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.\u003c\/p\u003e\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","brand":"Springer","offers":[{"title":"Paperback","offer_id":45280597049495,"sku":"9783031150760","price":7345.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783031150760.webp?v=1769296768","url":"https:\/\/atlanticbooks.com\/products\/model-checking-software-28th-international-symposium-spin-2022-virtual-event-may-21-2022-proceedings-9783031150760","provider":"Atlantic Books","version":"1.0","type":"link"}