{"product_id":"computer-aided-verification-34th-international-conference-cav-2022-haifa-israel-august-710-2022-proceedings-part-ii-9783031131875","title":"Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II","description":"\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003eThe 34rd International Conference on Computer Aided Verification (CAV 2022) was held in Haifa, Israel, in August 2022. LNCS 13371 and 13372 are the refereed proceedings of the conference, containing 40 full papers, 9 tool papers, and 2 case studies. The papers were organized in topical sections such as formal methods for probabilistic programs, neural networks, software verification, hyperproperties, security, hardware, cyber-physical, and hybrid systems. \u003c\/blockquote\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 549 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 06 August 2022\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer International Publishing AG\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e\u003cbr\u003eThis comprehensive two-volume set, LNCS 13371 and 13372, serves as the official proceedings of the 34th International Conference on Computer Aided Verification (CAV) 2022, which took place in Haifa, Israel, during August 2022. Comprising a total of 40 full papers, along with 9 tool papers and 2 case studies, the selection process involved meticulous review and careful selection from a pool of 209 submissions. The papers were organized into the following topical sections:\u003cbr\u003e\u003cbr\u003ePart I: Invited Papers\u003cbr\u003eFormal Methods for Probabilistic Programs\u003cbr\u003eFormal Methods for Neural Networks\u003cbr\u003eSoftware Verification and Model Checking\u003cbr\u003eHyperproperties and Security\u003cbr\u003eFormal Methods for Hardware, Cyber-Physical, and Hybrid Systems\u003cbr\u003e\u003cbr\u003ePart II: Probabilistic Techniques\u003cbr\u003eAutomata and Logic\u003cbr\u003eDeductive Verification and Decision Procedures\u003cbr\u003eMachine Learning\u003cbr\u003eSynthesis and Concurrency\u003cbr\u003e\u003cbr\u003eThis publication offers open access to the scholarly content, ensuring widespread accessibility and dissemination of research findings.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWeight\u003c\/strong\u003e: 866g\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783031131875\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: 1st ed. 2022\u003c\/p\u003e","brand":"Shulph Ink","offers":[{"title":"Paperback \/ softback","offer_id":44102880264442,"sku":"9783031131875","price":29.88,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/noImage_1_ed51ebdb-eff7-434c-a4c4-f389b3efc8f0.jpg?v=1669446824","url":"https:\/\/shulphink.com\/products\/computer-aided-verification-34th-international-conference-cav-2022-haifa-israel-august-710-2022-proceedings-part-ii-9783031131875","provider":"Shulph Ink","version":"1.0","type":"link"}