软件形式化验证专题前言
作者： 清华大学软件学院; 北京100084; 北京信息科学与技术国家研究中心; 北京100084; 信息系统安全教育部重点实验室; 北京100084; 中国科学院软件研究所; 北京100190; 广州智能软件产业研究院; 广东广州511458
摘要：形式化方法是建立在逻辑演算、形式语言、自动机理论、程序语义、类型系统等理论基础之上,对计算系统进行描述和分析的一系列符号与技术的集合。形式化方法可指导软/硬件系统的规约、设计和验证,是改善和确保计算系统质量的重要方法。历史上,形式化方法在硬件和协议验证方面取得巨大成功。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社。
软件学报杂志
软件学报杂志， 月刊，本刊重视学术导向，坚持科学性、学术性、先进性、创新性，刊载内容涉及的栏目：理论计算机科学、系统软件与软件工程、模式识别与人工智能、数据库技术、计算机网络与信息安全、计算机体系结构等。于1990年经新闻总署批准的正规刊物。
- 北大期刊
- CSCD期刊
- 统计源期刊
- 1-3个月审核
