{"product_id":"verification-model-checking-and-abstract-interpretation-von-undefined-10","title":"Verification, Model Checking, and Abstract Interpretation","description":"\n                                \n                \u003cp\u003eThis book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThe 18 full papers presented in the proceedings were carefully reviewed and selected from 54 submissions. They deal with formal verification model checking, abstract interpretation, fostering interaction, cross-fertilization, and advancement of hybrid methods that combine these and related approaches.\u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783032156990\"\u003e\u003ch3\u003e27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783032156990","offer_id":57055602475333,"sku":"9783032156990","price":79.17,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/dcb6ace7-bd98-4d6b-8e5a-0a4c3e0a73e4.jpg?v=1773465858","url":"https:\/\/shop.autorenwelt.de\/en\/products\/verification-model-checking-and-abstract-interpretation-von-undefined-10","provider":"Autorenwelt Shop","version":"1.0","type":"link"}