Subpolyhedra Library: An Efficient Abstract Domain to Infer Linear Inequalities
Distribution for the standalone Subpolyhedra library, a new numerical abstract domain for scalable inference and propagation of linear inequalities.
工具
加载中...
微软研究院