Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation.

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

Published in: CAV (1) (2015)

Keyphrases

lagrange interpolation
parametric curves
model checking
data sets
high dimensional
dynamic environments
moment invariants
generation process
generation method