27 citations · 37 across the 8 of their papers we have counts for
1 paper · 2 filters
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…