proving liveness property under strengthened compassion requirements

ISCAS OpenIR

	proving liveness property under strengthened compassion requirements
	Long Teng; Zhang Wenhui
	2012
会议名称	9th Annual Conference on Theory and Applications of Models of Computation, TAMC 2012
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	498-508
会议日期	May 16, 2012 - May 21, 2012
会议地点	Beijing, China
收录类别	EI
ISSN	0302-9743
ISBN	9783642299513
部门归属	(1) State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China; (2) School of Information Science and Engineering Graduate University of China Academy of Sciences Beijing China
摘要	Deductive rules are useful for proving properties with fairness constraints and there have been many studies on such rules with justice and compassion constraints. This paper focuses on system specifications with strengthened compassion that impose constraints on transitions involving states and their successors. A deductive rule for proving liveness properties under strengthened compassion is presented, and proofs of the soundness and the relative completeness of the rule are also presented. © 2012 Springer-Verlag.; Deductive rules are useful for proving properties with fairness constraints and there have been many studies on such rules with justice and compassion constraints. This paper focuses on system specifications with strengthened compassion that impose constraints on transitions involving states and their successors. A deductive rule for proving liveness properties under strengthened compassion is presented, and proofs of the soundness and the relative completeness of the rule are also presented. © 2012 Springer-Verlag.
关键词	Artificial Intelligence
主办者	State Key Laboratory of Computer Science; Chinese Academy of Sciences, Institute of Software; Chinese Academy of Sciences
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/15685
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Long Teng,Zhang Wenhui. proving liveness property under strengthened compassion requirements[C],2012:498-508.