会议文集


文集名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-interferenceIsabella Mastroeni2025
An Abstract Domain for Heap CommutativityJared Pincus; Eric Koskinen2025
A Static Analysis of EntanglementNicola Assolini; Alessandra Di Pierro; Isabella Mastroeni2025
Synthesis of Parametric Locally Symmetric Protocols from Abstract Temporal SpecificationsRuoxi Zhang; Richard Trefler; Kedar S. Namjoshi2025
1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and GeneralizationMuqsit Azeem; Debraj Chakraborty; Sudeep Kanav; Jan Kretinsky; Mohammadsadegh Mohagheghi; Stefanie Mohr; Maximilian Weininger2025
LLOR: Automated Repair of OpenMP ProgramsUtpal Bora; Saurabh Joshi; Gautam Muduganti; Ramakrishna Upadrasta2025
Synthesis of Controllers for Continuous Blackbox SystemsBenedikt Maderbacher; Felix Windisch; Alberto Larrauri; Roderick Bloem2025
Automated Flaw Detection for Industrial Robot RESTful ServiceYuncheng Wang; Puzhuo Liu; Yaowen Zheng; Dongliang Fang; Shuaizong Si; Zhiwen Pan; Weidong Zhang; Limin Sun2025
Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case StudyMario Bucev; Samuel Chassot; Simon Felix; Filip Schramka; Viktor Kuncak2025
Expect All: A BDD Based Approach for Link Failure Resilience in Elastic Optical NetworksGustav S. Bruhns; Martin P. Hansen; Rasmus Hebsgaard; Frederik M. W. Hyldgaard; Jiri Srba2025
Constructing Trustworthy Smart ContractsDevora Chait-Roth; Kedar S. Namjoshi2025



制造业外文文献服务平台