您的位置： 专家智库 > >

“核心电子器件、高端通用芯片及基础软件产品”国家科技重大专项(2009ZX010303-001-07)

作品数：1 被引量：0H指数：0
相关作者：郭建韩俊刚更多>>
相关机构：华东师范大学计算机软件新技术国家重点实验室西安邮电学院更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划国家科技重大专项更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇三值逻辑
  • 1篇反例

机构

  • 1篇华东师范大学
  • 1篇西安邮电学院
  • 1篇计算机软件新...

作者

  • 1篇韩俊刚
  • 1篇郭建

传媒

  • 1篇计算机辅助设...

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
三值逻辑证明系统及正例与反例的提取
2011年
三值逻辑模型检验是对更高层的模型抽象验证的一种方法,对其验证中常常需要给出正例和反例.为此,讨论了三值逻辑模型检验以及正例和反例的提取,并在给出一套三值逻辑证明规则的基础上形成一个证明系统;运用该系统可以证明模型是否满足某个性质;在证明过程中为存在路径量词提取正例,为全称路径量词提取反例.正例和反例的提取可给模型的细化指明方向.最后通过实例给出了该证明系统在数字逻辑电路验证中的应用.
郭建韩俊刚
关键词：三值逻辑反例
全选 清除 导出
共1页<1>
聚类工具0