Skip to main content
  • Conference proceedings
  • Open Access
  • © 2022

Computer Aided Verification

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

  • 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)

Conference series link(s): CAV: International Conference on Computer Aided Verification

Conference proceedings info: CAV 2022.

Buying options

Softcover Book USD 49.99
Price excludes VAT (USA)

Table of contents (27 papers)

  1. Front Matter

    Pages i-xix
  2. Invited Papers

    1. Front Matter

      Pages 1-1
    2. A Billion SMT Queries a Day (Invited Paper)

      • Neha Rungta
      Pages 3-18Open Access
  3. Formal Methods for Probabilistic Programs

    1. Front Matter

      Pages 31-31
    2. Data-Driven Invariant Learning for Probabilistic Programs

      • Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy
      Pages 33-54Open Access
    3. Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs

      • Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Đorđe Žikelić
      Pages 55-78Open Access
    4. Does a Program Yield the Right Distribution?

      • Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler
      Pages 79-101Open Access
    5. Abstraction-Refinement for Hierarchical Probabilistic Models

      • Sebastian Junges, Matthijs T. J. Spaan
      Pages 102-123Open Access
  4. Formal Methods for Neural Networks

    1. Front Matter

      Pages 125-125
    2. Shared Certificates for Neural Network Verification

      • Marc Fischer, Christian Sprecher, Dimitar Iliev Dimitrov, Gagandeep Singh, Martin Vechev
      Pages 127-148Open Access
    3. Verifying Neural Networks Against Backdoor Attacks

      • Long H. Pham, Jun Sun
      Pages 171-192Open Access
    4. Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning

      • Peng Jin, Jiaxu Tian, Dapeng Zhi, Xuejun Wen, Min Zhang
      Pages 193-218Open Access
    5. Neural Network Robustness as a Verification Property: A Principled Case Study

      • Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir et al.
      Pages 219-231Open Access
  5. Software Verification and Model Checking

    1. Front Matter

      Pages 233-233
    2. The Lattice-Theoretic Essence of Property Directed Reachability Analysis

      • Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo
      Pages 235-256Open Access
    3. Affine Loop Invariant Generation via Matrix Algebra

      • Yucheng Ji, Hongfei Fu, Bin Fang, Haibo Chen
      Pages 257-281Open Access
    4. Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes

      • Ahmed Bouajjani, Wael-Amine Boutglay, Peter Habermehl
      Pages 282-303Open Access
    5. Proof-Guided Underapproximation Widening for Bounded Model Checking

      • Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal, Subhajit Roy
      Pages 304-324Open Access

Other Volumes

  1. Computer Aided Verification

    34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I
  2. Computer Aided Verification

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

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.


  • architecting
  • architecture verification and validation
  • artificial intelligence
  • computer programming
  • computer science
  • computer systems
  • distributed computer systems
  • distributed systems
  • embedded systems
  • formal logic
  • mathematics
  • model checking
  • programming languages
  • software architecture
  • software design
  • software engineering
  • software quality
  • theoretical computer science
  • verification
  • verification and validation

Editors and Affiliations

  • Tel Aviv University, Tel Aviv, Israel

    Sharon Shoham

  • Technion – Israel Institute of Technol, Haifa, Israel

    Yakir Vizel

Bibliographic Information

Buying options

Softcover Book USD 49.99
Price excludes VAT (USA)