您的位置： 专家智库 > >

吴孝军

作品数：2 被引量：0H指数：0
供职机构：兰州大学信息科学与工程学院更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 1篇学位论文
  • 1篇会议论文

领域

  • 1篇电子电信
  • 1篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇硬件
  • 1篇硬件系统
  • 1篇换机
  • 1篇活性
  • 1篇交换机
  • 1篇二叉判定图
  • 1篇PROMEL...
  • 1篇SPIN
  • 1篇SYSTEM...
  • 1篇ATM交换
  • 1篇ATM交换机
  • 1篇CFL
  • 1篇CHECKE...
  • 1篇FORMAT...

机构

  • 2篇兰州大学

作者

  • 2篇吴孝军
  • 1篇章超
  • 1篇陈波
  • 1篇李廉
  • 1篇李彩虹
  • 1篇孙守卿

年份

  • 2篇2006
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
硬件系统SystemCFL模型的SPIN验证
1 引言随着系统设计复杂度的提高,设计验证已成为系统设计的瓶颈;传统验证技术已不能满足需要,形式化验证技术是适应这种需求而产生的新技术。形式化验证方法包括算法验证、属性验证和等价性验证等方法。我们的研究领域为属性验证。属...
李彩虹李廉章超孙守卿吴孝军陈波
关键词：SYSTEMC
文献传递
基于SPIN的ATM交换机行为的验证
近些年来模型检测已经成为验证硬件设计正确性一种实用的方法,它能克服传统方法/(比如仿真和测试/)的一些固有的缺陷,因为穷尽的测试是不可能的并且也只能针对一些经典的情况进行测试。模型检测用严格的数学方法来证明系统是否满足给...
吴孝军
关键词：形式化方法二叉判定图
文献传递
全选 清除 导出
共1页<1>
聚类工具0