Code Contracts

Subpolyhedra Library: An Efficient Abstract Domain to Infer Linear Inequalities

octobre 2008

Distribution for the standalone Subpolyhedra library, a new numerical abstract domain for scalable inference and propagation of linear inequalities.

Taille : 501924