Parma Polyhedra Library: numerical abstractions for analysis, verification