机构

• 软件研究所 [3]

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [2]
• 会议论文 [1]

发表日期

• 2010 [1]
• 2009 [2]

学科主题

• Computer S... [2]
• Hardware &... [1]
• Software ... [1]

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于一阶迁移系统的限界模型检测工具实现 期刊论文  OAI收割 计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 118-121,136 冯庆奎 收藏  |  浏览/下载：24/0  |  提交时间：2011/05/23 限界模型检测  一阶迁移系统  通道  验证算法  协议分析bounded model checking  first order transition system  channel  verification algorithm  protocol analysis   bounded model checking of actl formulae 会议论文  OAI收割 3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31, Chen Wei; Zhang Wenhui   |  收藏  |  浏览/下载：23/0  |  提交时间：2011/03/20 bounded model checking encoding method  bounded model verification  computation tree logic  error-hunting  encoding  formal logic  formal verification  program debugging  tree data structures   improved bounded model checking for the universal fragment of ctl 期刊论文  OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, 卷号: 24, 期号: 1, 页码: 96-109 Xu Liang; Chen Wei; Xu Yan-Yan; Zhang Wen-Hui   |  收藏  |  浏览/下载：17/0  |  提交时间：2011/03/18 software verification  model checking algorithm  bounded model checking  ACTL  SAT