Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships.

Liqian Chen, Antoine Min, Ji Wang, Patrick Cousot

Browse the full SAS paper archive.