The core development team is delighted to announce the availability of a new paper on the PPL. "The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems" is the first published paper that covers, though not in depth, all the main features of the PPL. It is a very recommended reading for anyone using or considering to use the library. Besides listing several important features that ---we suspect--- most users are unaware of, it illustrates the current development plans for the library and reviews some of the applications using it.
Roberto Bagnara bagnara@cs.unipr.it Patricia M. Hill hill@comp.leeds.ac.uk Enea Zaffanella zaffanella@cs.unipr.it
[1] http://www.cs.unipr.it/ppl/Documentation/bibliography#BagnaraHZ06TR