摘要
形式化方法基于严格的数学化和机械化方法来规约、设计、构建、验证、演进计算系统,是改善和确保计算系统质量的重要方法,其模型、技术和工具已延伸成为计算思维的重要载体.本专题聚焦形式化方法理论前沿,围绕形式化方法基础理论、技术、支撑工具及领域应用,重点关注形式化方法与理论计算机科学、软件工程、基础软件(操作系统、编译器等)、嵌入式系统、人机物融合系统、概率/量子系统、网络与信息安全、可信人工智能(智能制造、智能交通、智能控制、可信机器学习)等领域的交叉结合,旨在于我国标志性学术刊物上反映形式化方法领域的最新研究成果,深入拓展形式化方法与相关领域的交叉,促进形式化方法、技术和工具在国内的应用和发展.
作者
陈明帅
田聪
熊英飞
CHEN Ming-Shuai;TIAN Cong;XIONG Ying-Fei
出处
《软件学报》
北大核心
2025年第8期3429-3430,共2页
Journal of Software
