中国机械工程学会生产工程分会知识服务平台 | sc.gmachineinfo.com

会议文集

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

题名	作者	出版年
Abstract Local Completeness A Local Form of Abstract Non-interference	Isabella Mastroeni	2025
An Abstract Domain for Heap Commutativity	Jared Pincus; Eric Koskinen	2025
A Static Analysis of Entanglement	Nicola Assolini; Alessandra Di Pierro; Isabella Mastroeni	2025
Synthesis of Parametric Locally Symmetric Protocols from Abstract Temporal Specifications	Ruoxi Zhang; Richard Trefler; Kedar S. Namjoshi	2025
1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization	Muqsit Azeem; Debraj Chakraborty; Sudeep Kanav; Jan Kretinsky; Mohammadsadegh Mohagheghi; Stefanie Mohr; Maximilian Weininger	2025
LLOR: Automated Repair of OpenMP Programs	Utpal Bora; Saurabh Joshi; Gautam Muduganti; Ramakrishna Upadrasta	2025
Synthesis of Controllers for Continuous Blackbox Systems	Benedikt Maderbacher; Felix Windisch; Alberto Larrauri; Roderick Bloem	2025
Automated Flaw Detection for Industrial Robot RESTful Service	Yuncheng Wang; Puzhuo Liu; Yaowen Zheng; Dongliang Fang; Shuaizong Si; Zhiwen Pan; Weidong Zhang; Limin Sun	2025
Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study	Mario Bucev; Samuel Chassot; Simon Felix; Filip Schramka; Viktor Kuncak	2025
Expect All: A BDD Based Approach for Link Failure Resilience in Elastic Optical Networks	Gustav S. Bruhns; Martin P. Hansen; Rasmus Hebsgaard; Frederik M. W. Hyldgaard; Jiri Srba	2025
Constructing Trustworthy Smart Contracts	Devora Chait-Roth; Kedar S. Namjoshi	2025