搜索结果: 1-1 共查到“loop invariants”相关记录1条 . 查询时间(0.047 秒)
We describe a Guess-and-Check algorithm for computing algebraic equation invariants of the form ∧ifi(x1, . . . , xn) = 0, where each fi is a polynomial over the variables x1, . . . , xn of the program...