现代软件系统日益复杂，已广泛应用于安全关键、安全敏感和任务关键型领域。随着软件架构日趋复杂、执行环境多样化以及系统行为日益精细，确保软件的可靠性、安全性和正确性已成为一项根本性挑战。程序分析与验证技术为理解软件行为、识别潜在缺陷并确保系统在整个软件生命周期中的可靠性提供了有效途径。近年来，静态分析、动态分析、形式化验证、自动化测试和智能化程序分析等方面的进展显著提升了检测软件漏洞、验证程序属性和提高软件质量的能力。与此同时，人工智能和大语言模型等新兴技术为自动化代码理解、漏洞发现、程序修复和验证带来了新的机遇。
基于此，Applied Sciences 特邀北京航空航天大学白家驹副教授与香港大学江祖铭助理教授，合作创建特刊“Advances in Program Analysis and Verification for Reliable Software Systems (程序分析与验证在可靠软件系统中的进展)”。本特刊旨在发表程序分析与验证领域的最新研究成果，欢迎与静态与动态程序分析、形式化方法、软件测试与模糊测试、漏洞检测、自动化程序修复、安全验证及复杂软件系统可靠性保障等研究领域有关的学者踊跃投稿。特刊主题包括但不限于以下方面：
程序分析；
形式化验证；
软件测试；
可靠性与安全性；
缺陷检测；
漏洞发现。
投稿截止日期
2027年1月20日
客座编辑介绍
白家驹 副教授
北京航空航天大学
工学博士，硕士/博士研究生导师。主要研究方向包括系统软件安全、程序分析技术、操作系统安全，重点关注操作系统、数据库系统、网络协议栈等系统软件缺陷与漏洞挖掘机制。先后主持国家自然科学基金面上/青年项目、北京市自然科学基金面上项目等多项国家及省市级科研项目。目前已在系统与安全领域重要学术会议及期刊发表学术论文40余篇，其中中国计算机学会A类论文20余篇，主要从事系统软件安全相关研究，聚焦于基于程序分析的漏洞自动检测技术、开源软件安全缺陷挖掘，以及关键国产基础软件安全保障技术。
研究领域：系统软件安全、程序分析、操作系统。
江祖铭 助理教授
香港大学
工学博士，硕士/博士研究生导师。主要研究方向涵盖计算机安全、数据库、操作系统、软件工程以及人工智能交叉领域，重点依托软件测试、形式化验证、程序分析等核心技术，提升各类底层系统软件的运行可靠性、安全防护能力与综合运行性能。现已在USENIX OSDI、USENIX Security、VLDB、NDSS 等系统与安全领域国际顶级学术会议发表多篇高水平学术论文。当前主要从事系统与人工智能融合相关研究，聚焦底层数据库、操作系统的逻辑漏洞自动检测、可信人工智能系统搭建，以及利用人工智能技术强化基础软件安全防护能力。
研究领域：计算机安全、数据库、操作系统、软件工程。
了解更多特刊信息：https://www.mdpi.com/si/285153
Applied Sciences 期刊介绍
主编：Giulio Nicola Cerullo, Politecnico di Milano, Italy
期刊主题涵盖应用物理学、应用化学、工程、环境和地球科学以及应用生物学的各个方面。
2025 Impact Factor：2.9
2025 CiteScore：6.1
Time to First Decision：15 Days
Acceptance to Publication：2.9 Days
期刊主页：https://www.mdpi.com/journal/applsc
转载本文请联系原作者获取授权，同时请注明本文来自曼迪匹艾MDPI科学网博客。
链接地址：https://wap.sciencenet.cn/blog-3516770-1553694.html?mobile=1
收藏
