形式化方法与应用专题前言  

Preface

作　　者：董云卫[1] 刘关俊[2] 毛晓光[3] DONG Yun-Wei;LIU Guan-Jun;MAO Xiao-Guang

机构地区：[1]西北工业大学计算机学院,陕西西安710129 [2]同济大学计算机科学系,上海201804 [3]国防科技大学计算机学院,湖南长沙410073

出　　处：《软件学报》2023年第7期2979-2980,共2页Journal of Software

摘　　要：形式化方法是采用数学方法,对复杂计算机系统建立严格语法与语义规范的系统设计与验证方法,常用于复杂动态系统的需求规约、模型设计和属性验证,在计算机硬件设计、软件系统构造、控制系统模型设计与分析、通信系统协议验证和程序代码合成等方面得到了成功的应用.近年来,在深度学习、区块链、量子计算、物理信息融合系统等新兴领域,形式化方法也逐步应用和适配,对提升系统的安全性和可靠性起到了极大的促进作用.

关 键 词：形式化方法 计算机硬件 计算机系统 复杂动态系统 协议验证 区块链 软件系统 深度学习 

分 类 号：O29[理学—应用数学] TP3[理学—数学]