polynomial invariants

From Polynomial Invariants to Linear Loops

Loop invariants are software properties that hold before and after every iteration of a loop. As such, invariants provide inductive …

G. Kenison, L. Kovács, A. Varonka