computing invariants for parameter abstraction
文献类型：会议论文
| 作者 | Lv Yi ; Lin Huimin ; Pan Hong |
| 出版日期 | 2007 |
| 会议名称 | ACM/IEEE International Conference on Formal Methods and Models for Co-Design |
| 会议日期 | MAY 30-JUN |
| 会议地点 | Nice, FRANCE |
| 关键词 | 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 |
| 页码 | 29-38 |
| 英文摘要 | A new approach to combining invariants computing and guard strengthening methods is presented in the context of parameter abstraction for parameterized model checking of cache coherence protocols. The approach uses a small instance of a parame |
| 会议主办者 | ACM SIG Embedded Syst, ACM SIG Design Automat, IEEE Circuits & Syst Soc, IEEE Council Elect Design Automat, IEEE France, INRIA, Texas Instruments, ARCSIS, Bluespec, Nokia, Reg Provence Alpes Cote Azur |
| 会议录 | Proceedings - Fifth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE07
 |
| 会议录出版者 | MEMOCODE07: Fifth ACM & IEEE International Conference on Formal Methods and Models for Co-Design, Proceedings |
| 会议录出版地 | 345 E 47TH ST, NEW YORK, NY 10017 USA |
| ISBN号 | 978-1-4244-1050-7 |
| 源URL | [http://124.16.136.157/handle/311060/10950]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _会议论文 |
| 推荐引用方式 GB/T 7714 | Lv Yi,Lin Huimin,Pan Hong. computing invariants for parameter abstraction[C]. 见:ACM/IEEE International Conference on Formal Methods and Models for Co-Design. Nice, FRANCE. MAY 30-JUN. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。