An Abstract Domain to Infer Octagonal Constraints with Absolute Value.

Liqian Chen, Jiangchao Liu, Antoine Min, Deepak Kapur, Ji Wang

Browse the full SAS paper archive.