default search action

combined dblp search
author search
venue search
publication search

ask others

26th VMCAI 2025: Denver, CO, USA - Part I

> Home > Conferences and Workshops > VMCAI

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/2025-1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/2025-1
Shankaranarayanan Krishna, Sriram Sankaranarayanan, Ashutosh Trivedi:
Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I. Lecture Notes in Computer Science 15529, Springer 2025, ISBN 978-3-031-82699-3

Invited Keynote Papers

- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/XiaSPDRR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/XiaSPDRR25
Yuan Xia, Deepayan Sur, Aabha Shailesh Pingle, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Srivatsan Ravi:
Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning. 3-25

Verification and Model Checking

- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Bruse25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Bruse25
Florian Bruse:
Space-Efficient Model-Checking of Higher-Order Recursion Schemes. 29-51
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/StoreyM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/StoreyM25
Kyle Storey, Eric Mercer:
Property-Agnostic Base Case Extension for Scalable Verification of Distributed Systems. 52-73
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/ErhardBHKSSSSTV25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/ErhardBHKSSSSTV25
Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan, Frank Schüssele, Michael Schwarz, Helmut Seidl, Sarah Tilscher, Vesal Vojdani:
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts. 74-100
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/EichlerJW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/EichlerJW25
Paul Eichler, Swen Jacobs, Chana Weil-Kennedy:
Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction. 101-124
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/YangZCL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/YangZCL25
Junfeng Yang, Min Zhang, Xin Chen, Qin Li:
Formal Verification of Probabilistic Deep Reinforcement Learning Policies with Abstract Training. 125-147
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Ishii25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Ishii25
Daisuke Ishii:
A Real-Blasting Extension of cvc5 for Reasoning About Floating-Point Arithmetic. 148-162
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/DrossHK25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/DrossHK25
Claire Dross, Joffrey Huguet, Johannes Kanig:
Two-Way Collaboration Between Flow and Proof in SPARK. 163-183

Abstract Interpretation

- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/KeFLSCL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/KeFLSCL25
Jingyu Ke, Hongfei Fu, Hongming Liu, Zhouyue Sun, Liqian Chen, Guoqiang Li:
Affine Disjunctive Invariant Generation with Farkas' Lemma. 187-213
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/SuNGG25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/SuNGG25
Yusen Su, Jorge A. Navas, Arie Gurfinkel, Isabel Garcia-Contreras:
Automatic Inference of Relational Object Invariants. 214-236

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.