Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis.

Assal Adj, Stphane Gaubert, Eric Goubault

Browse the full ESOP paper archive.