The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems.

Roberto Bagnara Patricia M. Hill Enea Zaffanella The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. 3-21 2008 72 Sci. Comput. Program. 1-2 http://dx.doi.org/10.1016/j.scico.2007.08.001 db/journals/scp/scp72.html#BagnaraHZ08