中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-6 of 6)

Items/Page:    Sort:
基于启发式方法的带参系统形式化验证 [学位论文]
硕士, 北京: 中国科学院大学, 2016-05-24
段凯强
  |  
 
基于公式学习的循环不变式的推导 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-28
哈晓琳
  |  
 
基于Mealy机精化关系的验证算法 [期刊论文]
计算机应用与软件, 2012-01-01, 卷号: 29, 期号: 8, 页码: 169-172
梁虹; 金乃咏

 
模型检测MESIF Cache一致性协议 [期刊论文]
计算机工程与应用, 2010-01-01, 卷号: 46, 期号: 17, 页码: 66-68,152
吕正; 陈昊; 陈峰; 吕毅
  |  
 
生成诊断公式的有限状态进程等价验证 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 2, 页码: 344-347
李明
  |  
 
一种基于SAT的运算电路查错方法 [期刊论文]
计算机学报, 2007-01-01, 卷号: 30, 期号: 12, 页码: 2082-2089
陈云霁; 张健; 沈海华; 胡伟武
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace