Institutional Repository
| computing invariants for parameter abstraction | |
| Lv Yi; Lin Huimin; Pan Hong | |
| 2007 | |
| Conference Name | ACM/IEEE International Conference on Formal Methods and Models for Co-Design |
| Source | Proceedings - Fifth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE07 |
| Pages | 29-38 |
| Conference Date | MAY 30-JUN |
| Conference Place | Nice, FRANCE |
| Publish Place | 345 E 47TH ST, NEW YORK, NY 10017 USA |
| Publisher | MEMOCODE07: Fifth ACM & IEEE International Conference on Formal Methods and Models for Co-Design, Proceedings |
| ISBN | 978-1-4244-1050-7 |
| Department | Chinese Acad Sci, State Key Lab Comp Sci, Inst Software, Beijing 100080, Peoples R China. |
| English Abstract | 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 |
| Keyword | 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 |
| Sponsorship | 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 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/10950 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | Lv Yi,Lin Huimin,Pan Hong. computing invariants for parameter abstraction[C]. 345 E 47TH ST, NEW YORK, NY 10017 USA:MEMOCODE07: Fifth ACM & IEEE International Conference on Formal Methods and Models for Co-Design, Proceedings,2007:29-38. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 04231769.pdf（153KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment