Skip to main content
Springer Nature Link
Log in

Verification, Model Checking, and Abstract Interpretation

26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II

  • Conference proceedings
  • © 2025

Overview

Editors:
  1. Krishna Shankaranarayanan

    1. Indian Institute of Technology Bombay, Mumbai, India

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sriram Sankaranarayanan

    1. University of Colorado Boulder, Boulder, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ashutosh Trivedi

    1. University of Colorado Boulder, Boulder, 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 15530)

Included in the following conference series:

Conference proceedings info: VMCAI 2025.

  • 1578 Accesses

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 49.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.
The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions.

The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas.

Keywords

Table of contents (11 papers)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Abstract Interpretation

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Abstract Local Completeness

      • Isabella Mastroeni
      Pages 3-25

    3. An Abstract Domain for Heap Commutativity

      • Jared Pincus, Eric Koskinen
      Pages 26-49

    4. A Static Analysis of Entanglement

      • Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni
      Pages 50-71

  3. Synthesis

    1. Front Matter

      Pages 73-73
      Download chapter PDF

    2. Synthesis of Parametric Locally Symmetric Protocols from Abstract Temporal Specifications

      • Ruoxi Zhang, Richard Trefler, Kedar S. Namjoshi
      Pages 75-96

    3. 1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization

      • Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Křetínský, Mohammadsadegh Mohagheghi, Stefanie Mohr et al.
      Pages 97-120

    4. LLOR: Automated Repair of OpenMP Programs

      • Utpal Bora, Saurabh Joshi, Gautam Muduganti, Ramakrishna Upadrasta
      Pages 121-136

    5. Synthesis of Controllers for Continuous Blackbox Systems

      • Benedikt Maderbacher, Felix Windisch, Alberto Larrauri, Roderick Bloem
      Pages 137-159

  4. Applications

    1. Front Matter

      Pages 161-161
      Download chapter PDF

    2. Automated Flaw Detection for Industrial Robot RESTful Service

      • Yuncheng Wang, Puzhuo Liu, Yaowen Zheng, Dongliang Fang, Shuaizong Si, Zhiwen Pan et al.
      Pages 163-184

    3. Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study

      • Mario Bucev, Samuel Chassot, Simon Felix, Filip Schramka, Viktor Kunčak
      Pages 185-207

    4. ExpectAll: A BDD Based Approach for Link Failure Resilience in Elastic Optical Networks

      • Gustav S. Bruhns, Martin P. Hansen, Rasmus Hebsgaard, Frederik M. W. Hyldgaard, Jiří Srba
      Pages 208-230

    5. Constructing Trustworthy Smart Contracts

      • Devora Chait-Roth, Kedar S. Namjoshi
      Pages 231-252

  5. Back Matter

    Pages 253-254
    Download chapter PDF
Back to top

Other volumes

  1. Verification, Model Checking, and Abstract Interpretation

  2. Verification, Model Checking, and Abstract Interpretation

Editors and Affiliations

  • Indian Institute of Technology Bombay, Mumbai, India

    Krishna Shankaranarayanan

  • University of Colorado Boulder, Boulder, USA

    Sriram Sankaranarayanan, Ashutosh Trivedi

Bibliographic Information

Publish with us

Policies and ethics

Back to top