Generating Loop Invariants by Computing Vanishing Ideals of Sample Points

Bin Wu, Liyong Shen, Min Wu +2

Loop invariants play a very important role in proving correctness of programs. In this paper, we address the problem of generating invariants of polynomial loop programs. We presen…