Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation.

Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang

Browse the full CAV paper archive.