Synthesizing Invariants for Polynomial Programs by Semidefinite Programming

Hao Wu, Qiuye Wang, Bai Xue +3

Constraint-solving-based program invariant synthesis takes a parametric invariant template and encodes the (inductive) invariant conditions into constraints. The problem of charact…