Skip to main content
SpringerLink
Log in
Book cover

Verification, Model Checking, and Abstract Interpretation

24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Cezara Dragoi

    1. Inria, Amazon Web Services, Courbevoie, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael Emmi

    1. Amazon Web Services, Seattle, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jingbo Wang

    1. University of Southern California, Los Angeles, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: VMCAI 2023.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 64.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 84.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

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Distributing and Parallelizing Non-canonical Loops

    • Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
    Pages 1-24

  3. SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study

    • Soham Banerjee, Sumana Ghosh, Ansuman Banerjee, Swarup K. Mohalik
    Pages 25-43

  4. StaticPersist: Compiler Support for PMEM Programming

    • Sorav Bansal
    Pages 44-65

  5. Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference

    • Nicolas Berthier, Narges Khakpour
    Pages 66-90

  6. Satisfiability Modulo Custom Theories in Z3

    • Nikolaj Bjørner, Clemens Eisenhofer, Laura Kovács
    Pages 91-105

  7. Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation

    • Michele Boreale, Luisa Collodi
    Pages 106-128

  8. A Pragmatic Approach to Stateful Partial Order Reduction

    • Berk Cirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil
    Pages 129-154

  9. Compositional Verification of Stigmergic Collective Systems

    • Luca Di Stefano, Frédéric Lang
    Pages 155-176

  10. Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth

    • Amir Kafshdar Goharshady, Ahmed Khaled Zaher
    Pages 177-202

  11. Maximal Robust Neural Network Specifications via Oracle-Guided Numerical Optimization

    • Anan Kabaha, Dana Drachsler-Cohen
    Pages 203-227

  12. A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation

    • Jérôme Feret, Albin Salazar
    Pages 228-251

  13. CosySEL: Improving SAT Solving Using Local Symmetries

    • Sabrine Saouli, Souheib Baarir, Claude Dutheillet, Jo Devriendt
    Pages 252-266

  14. Sound Symbolic Execution via Abstract Interpretation and Its Application to Security

    • Ignacio Tiraboschi, Tamara Rezk, Xavier Rival
    Pages 267-295

  15. Result Invalidation for Incremental Modular Analyses

    • Jens Van der Plas, Quentin Stiévenart, Coen De Roover
    Pages 296-319

  16. Synthesizing History and Prophecy Variables for Symbolic Model Checking

    • Cole Vick, Kenneth L. McMillan
    Pages 320-340

  17. Solving Constrained Horn Clauses over Algebraic Data Types

    • Lucas Zavalía, Lidiia Chernigovskaia, Grigory Fedyukovich
    Pages 341-365

  18. ARENA: Enhancing Abstract Refinement for Neural Network Verification

    • Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo
    Pages 366-388

  19. Back Matter

    Pages 389-389
    Download chapter PDF
Back to top

Other volumes

  1. Verification, Model Checking, and Abstract Interpretation

Keywords

About this book

This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.


Editors and Affiliations

  • Inria, Amazon Web Services, Courbevoie, France

    Cezara Dragoi

  • Amazon Web Services, Seattle, USA

    Michael Emmi

  • University of Southern California, Los Angeles, USA

    Jingbo Wang

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation