Skip to main content

Computer Aided Verification

34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I

  • Conference proceedings
  • Open Access
  • © 2022

You have full access to this open access Conference proceedings


  • This book is open access, which means that you have free and unlimited access

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13371)

Included in the following conference series:

Conference proceedings info: CAV 2022.

Buy print copy

Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Table of contents (27 papers)

  1. Formal Methods for Probabilistic Programs

  2. Formal Methods for Neural Networks

  3. Software Verification and Model Checking

Other volumes

  1. Computer Aided Verification

  2. Computer Aided Verification


About this book

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022.
The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in 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 is an open access book.

Editors and Affiliations

  • Tel Aviv University, Tel Aviv, Israel

    Sharon Shoham

  • Technion – Israel Institute of Technology, Haifa, Israel

    Yakir Vizel

Bibliographic Information

Publish with us