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

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