长垣产业园区科技文献服务平台 | cy.gmachineinfo.com

会议文集

文集名	Verification, Model Checking, and Abstract Interpretation
会议名	26th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2025)
中译名	《第二十六届国际验证、模型检验与抽象解释会议，卷1》
会议日期	January 20-21, 2025
会议地点	Denver, CO, USA
出版年	2025
馆藏号	356003

题名	作者	出版年
Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning	Yuan Xia; Deepayan Sur; Aabha Shailesh Pingle; Jyotirmoy V. Deshmukh; Mukund Raghothaman; Srivatsan Ravi	2025
Space-Efficient Model-Checking of Higher-Order Recursion Schemes	Florian Bruse	2025
Property-Agnostic Base Case Extension for Scalable Verification of Distributed Systems	Kyle Storey; Eric Mercer	2025
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts	Julian Erhard; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Simmo Saan; Frank Schussele; Michael Schwarz; Helmut Seidl; Sarah Tilscher; Vesal Vojdani	2025
Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction	Paul Eichler; Swen Jacobs; Chana Weil-Kennedy	2025
Formal Verification of Probabilistic Deep Reinforcement Learning Policies with Abstract Training	Junfeng Yang; Min Zhang; Xin Chen; Qin Li	2025
A Real-Blasting Extension of cvc5 for Reasoning About Floating-Point Arithmetic	Daisuke Ishii	2025
Two-Way Collaboration Between Flow and Proof in SPARK	Claire Dross; Joffrey Huguet; Johannes Kanig	2025
Affine Disjunctive Invariant Generation with Farkas' Lemma	Jingyu Ke; Hongfei Fu; Hongming Liu; Zhouyue Sun; Liqian Chen; Guoqiang Li	2025
Automatic Inference of Relational Object Invariants	Yusen Su; Jorge A. Navas; Arie Gurfinkel; Isabel Garcia-Contreras	2025