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

Search Results

Help

Item hits: (Results 1-10 of 16)

Items/Page:    Sort:
程序验证的理论和方法 [学位论文]
博士, 北京: 中国科学院大学, 2017-05-19
许兆伟
  |  
 
AKC攻击的模式、预防及案例分析 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-01
麻婧
  |  
 
SystemC程序的形式化验证方法研究 [学位论文]
博士, 北京: 中国科学院大学, 2014-11-20
曾奶举
  |  
 
公平性约束下基于抽象和推理的活性验证 [学位论文]
博士, 北京: 中国科学院研究生院, 2013-05-31
龙腾
  |  
 
基于Verds的C语言子集模型检测方法研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-01
张兰兰
  |  
 
卫命令模型检测工具的设计与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
王绍春
  |  
 
关于可满足性问题的一些研究及其在模型检测中的应用 [学位论文]
博士, 北京: 中国科学院研究生院, 2010-05-31
陈伟
  |  
 
基于Yices对时间自动机的有界模型检测 [学位论文]
硕士, 中科院软件所: 中科院软件所, 2009-06-05
王晓亮
  |  
 
基于SAT的LTL限界模型检测与验证 [学位论文]
硕士, 中国科学院研究生院: 中国科学院研究生院, 2009-06-05
杜金秀
  |  
 
基于一阶迁移系统的限界模型检测工具实现 [学位论文]
硕士, 中国科学院研究生院: 中国科学院研究生院, 2009-06-05
冯庆奎
  |  
 

1 2 next

 

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