软件形式化验证专题前言

作     者：贺飞 张立军 HE Fei;ZHANG Li-Jun

作者机构：清华大学软件学院北京100084 北京信息科学与技术国家研究中心北京100084 信息系统安全教育部重点实验室北京100084 中国科学院软件研究所北京100190 广州智能软件产业研究院广东广州511458 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2019年第30卷第7期

页      码：1901-1902页

摘      要：形式化方法是建立在逻辑演算、形式语言、自动机理论、程序语义、类型系统等理论基础之上,对计算系统进行描述和分析的一系列符号与技术的集合。形式化方法可指导软/硬件系统的规约、设计和验证,是改善和确保计算系统质量的重要方法。历史上,形式化方法在硬件和协议验证方面取得巨大成功。

主 题 词：形式化验证 形式化方法 软件 计算系统 硬件系统 自动机理论 逻辑演算 形式语言 

学科分类：0839[0839] 08[工学] 

核心收录：

D　O　I：10.13328/j.cnki.jos.005758

馆 藏 号：203697639...