An Abstract Domain to Discover Interval Linear Equalities.

Liqian Chen, Antoine Min, Ji Wang, Patrick Cousot

Browse the full VMCAI paper archive.