Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs.

Assal Adj, Pierre-Loc Garoche

Browse the full VMCAI paper archive.