形式化方法与应用专题前言
Preface作者机构:国防科技大学计算机学院湖南长沙410073 北京大学数学科学学院北京100871
出 版 物:《软件学报》 (Journal of Software)
年 卷 期:2022年第33卷第8期
页 面:2753-2754页
核心收录:
学科分类:07[理学] 08[工学] 070104[理学-应用数学] 0701[理学-数学] 0812[工学-计算机科学与技术(可授工学、理学学位)]
主 题:形式化方法 区块链 软硬件系统 深度学习 量子计算 数学方法 可信性 基础理论
摘 要:形式化方法基于严格的数学方法规约、设计、构建、验证、演进计算系统,是改善和保障计算系统可信性的重要方法.形式化方法相关基础理论、技术和工具已成功应用于各种软硬件系统的设计与验证.近年来,在区块链、深度学习、量子计算等新兴领域,形式化方法也逐步应用适配,提升新兴领域计算系统的可信性.