mechanized proofs for the parameter abstraction and guard strengthening     principle in parameterized verification of cache coherence protocols

	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
会议录名称	Proceedings of the 2007 ACM symposium on Applied computing
页码	1534-1535
会议日期	MAR 11-15,
会议地点	Seoul, SOUTH KOREA
出版地	1515 BROADWAY, NEW YORK, NY 10036-9998 USA
出版者	APPLIED COMPUTING 2007, VOL 1 AND 2
ISBN	978-1-59593-480-2
部门归属	CAS, Inst Software, Comp Sci Lab, Beijing, Peoples R China.
摘要	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
关键词	Parameterized Verification Theorem Proving Symmetry
主办者	ACM
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/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]. 1515 BROADWAY, NEW YORK, NY 10036-9998 USA:APPLIED COMPUTING 2007, VOL 1 AND 2,2007:1534-1535.