典型文献
形式化方法与应用专题前言
文献摘要：
形式化方法基于严格的数学方法规约、设计、构建、验证、演进计算系统, 是改善和保障计算系统可信性的重要方法. 形式化方法相关基础理论、技术和工具已成功应用于各种软硬件系统的设计与验证. 近年来, 在区块链、深度学习、量子计算等新兴领域, 形式化方法也逐步应用适配, 提升新兴领域计算系统的可信性.
文献关键词：
中图分类号：
作者姓名：
陈立前;孙猛
作者机构：
国防科技大学 计算机学院, 湖南 长沙 410073;北京大学 数学科学学院, 北京 100871
文献出处：
引用格式：
[1]陈立前;孙猛-.形式化方法与应用专题前言)[J].软件学报,2022(08):2753-2754
A类：
B类：
形式化方法,前言,数学方法,规约,计算系统,可信性,成功应用,硬件系统,设计与验证,量子计算,新兴领域
AB值：
0.342852
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
