mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols
文献类型：会议论文
| 作者 | Li Yongjian |
| 出版日期 | 2007 |
| 会议名称 | 22nd ACM Symposium on Applied Computing |
| 会议日期 | MAR 11-15, |
| 会议地点 | Seoul, SOUTH KOREA |
| 关键词 | Parameterized verification Theorem proving Symmetry |
| 页码 | 1534-1535 |
| 英文摘要 | Chou, Mannava, and Park proposed a novel method for verification of safety proper-ties of cache protocols, which is underpinned by the principle of parameter abstraction and guard strengthening. However, no one has formally proved the correctn |
| 会议主办者 | ACM |
| 会议录 | Proceedings of the 2007 ACM symposium on Applied computing
 |
| 会议录出版者 | APPLIED COMPUTING 2007, VOL 1 AND 2 |
| 会议录出版地 | 1515 BROADWAY, NEW YORK, NY 10036-9998 USA |
| ISBN号 | 978-1-59593-480-2 |
| 源URL | [http://124.16.136.157/handle/311060/11018]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _会议论文 |
| 推荐引用方式 GB/T 7714 | Li Yongjian. mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols[C]. 见:22nd ACM Symposium on Applied Computing. Seoul, SOUTH KOREA. MAR 11-15,. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。