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

摘要：

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

机标关键词：形式化方法

所属期刊栏目：34

分类号：TP311;TN915.04;U283

在线出版日期：2023-07-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：2979-2980