


default search action
26th VMCAI 2025: Denver, CO, USA - Part I
- 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
- 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
- Florian Bruse

:
Space-Efficient Model-Checking of Higher-Order Recursion Schemes. 29-51 - Kyle Storey, Eric Mercer

:
Property-Agnostic Base Case Extension for Scalable Verification of Distributed Systems. 52-73 - 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 - Paul Eichler

, Swen Jacobs
, Chana Weil-Kennedy
:
Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction. 101-124 - Junfeng Yang, Min Zhang

, Xin Chen
, Qin Li:
Formal Verification of Probabilistic Deep Reinforcement Learning Policies with Abstract Training. 125-147 - Daisuke Ishii:

A Real-Blasting Extension of cvc5 for Reasoning About Floating-Point Arithmetic. 148-162 - Claire Dross, Joffrey Huguet, Johannes Kanig:

Two-Way Collaboration Between Flow and Proof in SPARK. 163-183
Abstract Interpretation
- Jingyu Ke

, Hongfei Fu
, Hongming Liu
, Zhouyue Sun, Liqian Chen
, Guoqiang Li
:
Affine Disjunctive Invariant Generation with Farkas' Lemma. 187-213 - 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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














