软件形式化验证专题前言
作者：贺飞; 张立军
摘要：形式化方法是建立在逻辑演算、形式语言、自动机理论、程序语义、类型系统等理论基础之上,对计算系统进行描述和分析的一系列符号与技术的集合。形式化方法可指导软/硬件系统的规约、设计和验证,是改善和确保计算系统质量的重要方法。历史上,形式化方法在硬件和协议验证方面取得巨大成功。
分类：
- 期刊
- >
- 自然科学与工程技术
- >
- 信息科技
- >
- 计算机软件及计算机应用
收录：
- 上海图书馆馆藏
- CSCD 中国科学引文数据库来源期刊(含扩展版)
- 知网收录(中)
- 北大期刊(中国人文社会科学期刊)
- 维普收录(中)
- 国家图书馆馆藏
- 万方收录(中)
- SA 科学文摘(英)
- Pж(AJ) 文摘杂志(俄)
- EI 工程索引(美)
- JST 日本科学技术振兴机构数据库(日)
- 统计源期刊(中国科技论文优秀期刊)
关键词：
- 形式化验证
- 形式化方法
- 软件
- 计算系统
- 硬件系统
- 自动机理论
- 逻辑演算
- 形式语言
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
