Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools.

Yassamine Seladji, Olivier Bouissou

Browse the full VMCAI paper archive.