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

Preface

作　　者：陈立前[1] 孙猛[2] CHEN Li-Qian;SUN Meng

机构地区：[1]国防科技大学计算机学院,湖南长沙410073 [2]北京大学数学科学学院,北京100871

出　　处：《软件学报》2022年第8期2753-2754,共2页Journal of Software

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

关 键 词：形式化方法 区块链 软硬件系统 深度学习 量子计算 数学方法 可信性 基础理论 

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