Subpolyhedra Library: An Efficient Abstract Domain to Infer Linear Inequalities

Language:
English
Distribution for the standalone Subpolyhedra library, a new numerical abstract domain for scalable inference and propagation of linear inequalities. Last published: October 10, 2008.