机构

• 软件研究所 [6]
• 中国科学院大学 [1]

采集方式

• OAI收割 [6]
• iSwitch采集 [1]

内容类型

• 期刊论文 [4]
• 会议论文 [3]

发表日期

• 2011 [1]
• 2010 [1]
• 2006 [1]
• 2005 [3]
• 2003 [1]

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共7条，第1-7条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 efficient loop-extended model checking of data structure methods 会议论文  OAI收割 Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Jeju Island, Korea, Republic of, FGIT 2011 Yi Qiuping; Liu Jian; Shen Wuwei   |  收藏  |  浏览/下载：20/0  |  提交时间：2013/10/08 Model Checking –  Loop  Extended –  Symbolic Execution   对时间自动机进行空性检测的过程和改进 期刊论文  OAI收割 计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 122-125 魏绪凯 收藏  |  浏览/下载：20/0  |  提交时间：2011/05/23 时间自动机  模型检测  符号化方法  抽象方法  空性检测  LTL性质timed automata  model checking  symbolic method  abstraction  emptiness checking  LTL   model checking data consistency for cache coherence protocols 期刊论文  OAI收割 Springer New York LLC, 2006, 卷号: 21, 期号: 5 Monograph title:Special Issue Dedicated to the 20th Anniversary of NFSC, 页码: 765-775 Pan Hong; Lin Huimin; Lv Yi   |  收藏  |  浏览/下载：16/0  |  提交时间：2010/08/11 concurrent systems  cache coherence protocols  value-passing  symbolic transition graphs  model checking  VERIFICATION   extended symbolic transition graphs with assignment 会议论文  OAI收割 29th Annual International Computer Software and Applications Conference, Edinburgh, SCOTLAND, JUL 26-28, Deng WJ; Lin HM   |  收藏  |  浏览/下载：18/0  |  提交时间：2011/07/28 concurrent systems  process algebra  value-passing  symbolic transition graphs  verification  model checking  bisimulation checking   symbolic model checking of finite precision timed automata 会议论文  OAI收割 2nd International Colloquium on Theoretical Aspects of Computing, Hanoi, VIETNAM, OCT 17-21, Yan RJ; Li GY; Tang ZS   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/07/28 finite precision timed automata  model checking  symbolic methods   Symbolic model checking of finite precision timed automata 期刊论文  iSwitch采集 Theoretical aspects of computing - ictac 2005, 2005, 卷号: 3722, 页码: 272-287 作者:  Yan, RJ;  Li, GY;  Tang, ZS 收藏  |  浏览/下载：24/0  |  提交时间：2019/05/10 Finite precision timed automata  Model checking  Symbolic methods   模型检测新技术研究 期刊论文  OAI收割 计算机科学, 2003, 卷号: 30, 期号: 5, 页码: 102-104 戎玫; 张广泉   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/07/29 Model checking  State explosion  Symbolic model checking  positional reasoning  Real-time system  Hybrid system  模型  检测  新技术研究  model checking  mathematical methods  concurrent system  hybrid systems  state space