Non-Termination analysis of loopprograms plays a central role in many applications, especially in the field of safety critical softwares. This paper presents a method to analyze non-termination of linearprograms wit...
详细信息
ISBN:
(纸本)9780769534329
Non-Termination analysis of loopprograms plays a central role in many applications, especially in the field of safety critical softwares. This paper presents a method to analyze non-termination of linearprograms with conditionals. We transform the linear loop programs with conditionals into the nested linear loop programs, and then check whether the inner loop terminates or not by the positive eigenvalues and their corresponding eigenvectors. If one of the inner loop in the nested linearloop is nonterminating, then the linearloop is nonterminating. Otherwise, we need to use ranking function or finite differences of expressions over transition systems to analyze the termination of the outer loop.
暂无评论