Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming.

Patrick Cousot

Browse the full VMCAI paper archive.