Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

The 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.

Format: Paperback / softback
Length: 549 pages
Publication date: 06 August 2022
Publisher: Springer International Publishing AG

This 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:

Part I: Invited Papers
Formal Methods for Probabilistic Programs
Formal Methods for Neural Networks
Software Verification and Model Checking
Hyperproperties and Security
Formal Methods for Hardware, Cyber-Physical, and Hybrid Systems

Part II: Probabilistic Techniques
Automata and Logic
Deductive Verification and Decision Procedures
Machine Learning
Synthesis and Concurrency

This publication offers open access to the scholarly content, ensuring widespread accessibility and dissemination of research findings.

Weight: 866g
Dimension: 235 x 155 (mm)
ISBN-13: 9783031131875
Edition number: 1st ed. 2022