loop synthesis

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
PDF Cite DOI arXiv