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

摘要：

形式化方法基于严格的数学方法规约、设计、构建、验证、演进计算系统, 是改善和保障计算系统可信性的重要方法. 形式化方法相关基础理论、技术和工具已成功应用于各种软硬件系统的设计与验证. 近年来, 在区块链、深度学习、量子计算等新兴领域, 形式化方法也逐步应用适配, 提升新兴领域计算系统的可信性.

机标关键词：形式化方法

所属期刊栏目：33

分类号：TP311;TN915.04;U283

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

页数：共2页

页码：2753-2754