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

会议文集


文集名Formal Methods and Software Engineering
会议名26th International Conference on Formal Engineering Methods (ICFEM 2025)
中译名《第二十六届国际形式工程方法会议》
会议日期November 10-13, 2025
会议地点Hangzhou, China
出版年2026
馆藏号359396


题名作者出版年
Formal Verification of Physical Layer Security Protocols for Next-Generation Communication NetworksKangfeng Ye; Roberto Metere; Jim Woodcock; Poonam Yadav2026
Automat a-Based Steering of Large Language Models for Diverse Structured GenerationXiaokun Luan; Zemin Wei; Yihao Zhang; Meng Sun2026
LLM-SYM: Integrating Symbolic Methods and Large Language Models for Automated Theorem ProvingYifan Wu; Yanhong Huang; Jianqi Shi2026
Modeling and Analysis of Cyber-Physical Systems in the Hybrid π-Calculus Using Extended Sequence DiagramsXiong Xu; Jixiang Miao; Shuling Wang; Jean-Pierre Talpin2026
Neural-Symbolic System Control Adjustment Based on Runtime VerificationHongxu Zhu; Wanwei Liu; Ji Wang2026
Formalizing Requirements into Dafny Specifications with LLMsYi-Han Lu; Xue-Yang Zhu; Wenhui Zhang; Rongjie Yan2026
Detecting Vector Container Errors in C++ Programs via Abstract InterpretationSiyu Liu; Liqian Chen; Guangsheng Fan; Banghu Yin; Chun Huang; Ji Wang2026
BCCIC3: Batch Clause Construction Enhanced Generalization in IC3Yi Chen; Xinyi Gong; Liangze Yin; Ji Wang; Ting Wang2026
MetaLogic: Robustness Evaluation of Text-to-Image Models via Logically Equivalent PromptsYifan Shen; Yangyang Shu; Hye-young Paik; Yulei Sui2026
Formal Construction of Threat Detections from Attack TreesDumitru-Bogdan Prelipcean; Catalin Dima; Daniele Varacca2026
A Test-Driven Approach for Refining Use Case Specifications of Software Requirements with LLMsHaibo Li; Lixiao Zheng; Qihang Cai2026
ZK-ProVer: Proving Programming Verification in Non-interactive Zero-Knowledge ProofsHaoyu Wei; Jingyu Ke; Ruibang Liu; Guoqiang Li2026
Synthesizing Loops from Linear Ranking FunctionsRui-Juan Jing; Yaru Yuan; Yuxing Cai; Yi Li; Changbo Chen2026
Modeling and Verifying Concurrent Reactive Systems Using Separation LogicHuan Sun; David Sanan; Jun Sun; Wenhai Wang2026
Formal Modeling and Verification of Blockchain Consensus Protocols: A Case Study on ChainMakerMinfan Xu; Shuo Zhou; Xian Xu; Huan Long2026
A Unified Method to Efficiently Verify Opacity of Discrete-Timed AutomataJulian Klein; Kuize Zhang; Sabine Glesner2026
Quantitative Verification for Temporal Properties of Massive Linear SystemsQing Liu; Yuntao Li; Sung Woo Choi; Luan Viet Nguyen; Hoang-Dung Tran2026
Avoiding Larger Conflict Regions in CDCL-Style Methods for Solving SMT-NRAXinpeng Ni; Tianyi Ding; Bican Xia2026
Formal Modeling of Reinforcement Learning Systems with SMTTianyi Ding; Yuxin Lin; Meng Sun2026
Towards High-Level SMT Program Modeling: Bounded Integers, Simplified Structs, and MetaprogrammingXiangyu Li2026
12



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