• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation.

Yu-Fang ChenChih-Duo HongBow-Yaw WangLijun 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