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
会议日期	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.