Automatic synthesis of piecewise linear quadratic invariants for programs (0)

by A A djé, P-L Garoche
Venue:Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015