computing invariants for parameter abstraction

	computing invariants for parameter abstraction
	Lv Yi; Lin Huimin; Pan Hong
	2007
会议名称	ACM/IEEE International Conference on Formal Methods and Models for Co-Design
会议录名称	Proceedings - Fifth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE07
页码	29-38
会议日期	MAY 30-JUN
会议地点	Nice, FRANCE
出版地	345 E 47TH ST, NEW YORK, NY 10017 USA
出版者	MEMOCODE07: Fifth ACM & IEEE International Conference on Formal Methods and Models for Co-Design, Proceedings
ISBN	978-1-4244-1050-7
部门归属	Chinese Acad Sci, State Key Lab Comp Sci, Inst Software, Beijing 100080, Peoples R China.
摘要	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
关键词	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
主办者	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
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/10950
专题	基础软件与系统重点实验室
推荐引用方式 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.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
04231769.pdf（153KB）			开放获取	--	请求全文