长垣产业园区科技文献服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
起重机械
智能制造
高级检索
关于我们
版权声明
使用帮助
会议文集
文集名
Verification, Model Checking, and Abstract Interpretation
会议名
25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024)
中译名
《第二十五届国际验证、模型检验与抽象解释会议,卷1》
会议日期
January 15-16, 2024
会议地点
London, United Kingdom
出版年
2024
馆藏号
350917
题名
作者
出版年
Formal Runtime Error Detection During Development in the Automotive Industry
Jesko Hecking-Harbusch; Jochen Quante; Maximilian Schlund
2024
Abstract Interpretation-Based Feature Importance for Support Vector Machines
Abhinandan Pal; Francesco Ranzato; Caterina Urban; Marco Zanella
2024
Generation of Violation Witnesses by Under-Approximating Abstract Interpretation
Marco Milanese; Antoine Mine
2024
Correctness Witness Validation by Abstract Interpretation
Simmo Saan; Michael Schwarz; Julian Erhard; Helmut Seidl; Sarah Tilscher; Vesal Vojdani
2024
Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability
Nicolas Amat; Silvano Dal Zilio; Didier Le Botlan
2024
Parameterized Verification of Disjunctive Timed Networks
Etienne Andre; Paul Eichler; Swen Jacobs; Shyam Lal Karra
2024
Resilience and Home-Space for WSTS
Alain Finkel; Mathieu Hilaire
2024
Generic Model Checking for Modal Fixpoint Logics in COOL-MC
Daniel Hausmann; Merlin Humml; Simon Prucker; Lutz Schroder; Aaron Strahlberger
2024
Model-Guided Synthesis for LTL over Finite Traces
Shengping Xiao; Yongkang Li; Xinyue Huang; Yicong Xu; Jianwen Li; Geguang Pu; Ofer Strichman; Moshe Y. Vardi
2024
Solving Two-Player Games Under Progress Assumptions
Anne-Kathrin Schmuck; K. S. Thejaswini; Irmak Saglam; Satya Prakash Nayak
2024
Interpolation and Quantifiers in Ortholattices
Simon Guilloud; Sankalp Gambhir; Viktor Kuncak
2024
Function Synthesis for Maximizing Model Counting
Thomas Vigouroux; Marius Bozga; Cristian Ene; Laurent Mounier
2024
Boosting Constrained Horn Solving by Unsat Core Learning
Parosh Aziz Abdulla; Chencheng Liang; Philipp Rummer
2024
On the Verification of the Correctness of a Subgraph Construction Algorithm
Lucas Boltz; Viorica Sofronie-Stokkermans; Hannes Frey
2024
Efficient Local Search for Nonlinear Real Arithmetic
Zhonghan Wang; Bohua Zhan; Bohan Li; Shaowei Cai
2024
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024