中国机械工程学会生产工程分会知识服务平台

会议文集


文集名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 IndustryJesko Hecking-Harbusch; Jochen Quante; Maximilian Schlund2024
Abstract Interpretation-Based Feature Importance for Support Vector MachinesAbhinandan Pal; Francesco Ranzato; Caterina Urban; Marco Zanella2024
Generation of Violation Witnesses by Under-Approximating Abstract InterpretationMarco Milanese; Antoine Mine2024
Correctness Witness Validation by Abstract InterpretationSimmo Saan; Michael Schwarz; Julian Erhard; Helmut Seidl; Sarah Tilscher; Vesal Vojdani2024
Project and Conquer: Fast Quantifier Elimination for Checking Petri Net ReachabilityNicolas Amat; Silvano Dal Zilio; Didier Le Botlan2024
Parameterized Verification of Disjunctive Timed NetworksEtienne Andre; Paul Eichler; Swen Jacobs; Shyam Lal Karra2024
Resilience and Home-Space for WSTSAlain Finkel; Mathieu Hilaire2024
Generic Model Checking for Modal Fixpoint Logics in COOL-MCDaniel Hausmann; Merlin Humml; Simon Prucker; Lutz Schroder; Aaron Strahlberger2024
Model-Guided Synthesis for LTL over Finite TracesShengping Xiao; Yongkang Li; Xinyue Huang; Yicong Xu; Jianwen Li; Geguang Pu; Ofer Strichman; Moshe Y. Vardi2024
Solving Two-Player Games Under Progress AssumptionsAnne-Kathrin Schmuck; K. S. Thejaswini; Irmak Saglam; Satya Prakash Nayak2024
Interpolation and Quantifiers in OrtholatticesSimon Guilloud; Sankalp Gambhir; Viktor Kuncak2024
Function Synthesis for Maximizing Model CountingThomas Vigouroux; Marius Bozga; Cristian Ene; Laurent Mounier2024
Boosting Constrained Horn Solving by Unsat Core LearningParosh Aziz Abdulla; Chencheng Liang; Philipp Rummer2024
On the Verification of the Correctness of a Subgraph Construction AlgorithmLucas Boltz; Viorica Sofronie-Stokkermans; Hannes Frey2024
Efficient Local Search for Nonlinear Real ArithmeticZhonghan Wang; Bohua Zhan; Bohan Li; Shaowei Cai2024



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024