This work is supported by NSF of Hunan Province of China (05JJ30117).
机构署名：
本校为第一且通讯机构
院系归属：
计算机科学与技术学院
摘要：
Redundant invariants increase processing time and memory consumption, which make serious effect on the application of invariants. The elimination of invariant redundancy is an important part in the invariant study. Now most methods of invariant redundancy elimination are based on optimization of invariants detecting tool which lack the principles analyse and system solutions of redundant invariants themselves. This paper first analyses the theory about classification and forming reasons of redundant invariant and then discusses the judgement of three kinds of invariant redundancy: equivalent r...
