Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation.

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

Published in: CoRR (2015)

Keyphrases

multiscale
lagrange interpolation
parametric curves
formal verification
shape representation
data sets
mobile robot
model checking
affine transformation
generation process
case study
low order
invariant properties