default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID26th 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.
last updated on 2025-02-24 21:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
