形式化验证技术

作品数：15被引量：47H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：吴尽昭周建涛叶新铭史美林郭建更多>>
相关机构：广西民族大学中国科学院成都计算机应用研究所西北工业大学国防科学技术大学更多>>
相关期刊：《计算机工程与设计》《太原师范学院学报（自然科学版）》《信息与电脑（理论版）》《计算机工程与应用》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划广西教育厅科研项目广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 主题=等价性检验x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
硬件设计的形式化验证技术被引量：1
《太原师范学院学报（自然科学版）》2007年第2期54-56,共3页杨泽民 范全润 
形式化验证用数学可证明的方式来验证系统.硬件设计的形式化验证通常有三种方法:定理证明、等价性检验和模型检验.文章着重分析了这三种方法的优缺点,探讨了形式化验证技术所面临的挑战,以及目前形式化验证技术可能的一些研究方向.
关键词：硬件 形式化验证 定理证明 等价性检验 模型检验 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部