机构

• 软件研究所 [3]

采集方式

• OAI收割 [3]

内容类型

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

发表日期

• 2007 [2]
• 2004 [1]

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols 会议论文  OAI收割 22nd ACM Symposium on Applied Computing, Seoul, SOUTH KOREA, MAR 11-15, Li Yongjian   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/06/29 Parameterized verification  Theorem proving  Symmetry   computing invariants for parameter abstraction 会议论文  OAI收割 ACM/IEEE International Conference on Formal Methods and Models for Co-Design, Nice, FRANCE, MAY 30-JUN Lv Yi; Lin Huimin; Pan Hong   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/06/29 cache coherence protocols  combining invariants computing  data consistency error  guard strengthening methods  parameter abstraction  parameterized model checking  transition rules  abstract data types  cache storage  data integrity  program verification   automatic generation of symbolic model for parameterized synchronous systems 期刊论文  OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004, 卷号: 19, 期号: 6, 页码: 812-819 Xu WW   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/07/29 parameterized system  formal verification  symbolic representation