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

Search Results

Help

Item hits: (Results 1-10 of 22)

Items/Page:    Sort:
Barrier certificates revisited [期刊论文]
JOURNAL OF SYMBOLIC COMPUTATION, 2017-05-01, 卷号: 80, 页码: 62-86
Dai, Liyun;  Gan, Ting;  Xia, Bican;  Zhan, Naijun

 
基于Pushdown系统证明的可视化 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-01-01
周青
  |  
 
An integrated framework of formal methods for interaction behaviors among industrial equipments [期刊论文]
MICROPROCESSORS AND MICROSYSTEMS, 2015-01-01, 卷号: 39, 期号: 8, 页码: 1296-1304
Deng, P; Ren, G; Yuan, W; Chen, F; Hua, QS
  |  
 
带时间和资源约束的实例化过程模型验证方法 [期刊论文]
计算机系统应用, 2014-01-01, 期号: 10, 页码: 172-177
李伟亨; 谢淼; 翟健; 杨秋松

 
Formal verification of a descent guidance control program of a lunar lander [会议论文]
19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014
Zhao, Hengjun (1); Yang, Mengfei (2); Zhan, Naijun (1); Gu, Bin (3); Zou, Liang (1); Chen, Yao (3)

 
MOTEC:一个存储一致性模型验证工具 [期刊论文]
计算机工程, 2012-01-01, 卷号: 38, 期号: 11, 页码: 242-246
吕正; 陈昊; 陈峰; 吕毅
  |  
 
一种基于安全状态转移的简并测试集生成方法 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 3, 页码: 539-547
程亮; 张阳; 冯登国
  |  
 
model checking a secure hypervisor [会议论文]
, Wuhan
Sunlv Wang; Jian Liu; Qiuping Yi; Xian Zhang
  |  
 
quantitative analysis of requirements evolution across multiple versions of an industrial software product [会议论文]
17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, 40850
Hailong Wang; Juan Li; Qing Wang; Ye Yang
  |  
 
bounded model checking of actl formulae [会议论文]
3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31,
Chen Wei; Zhang Wenhui

 

1 2 3 next

 

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