Parma Polyhedra Library 0.6.1
From: Roberto Bagnara (bagnara_at_cs.unipr.it)
Date: 09/02/04
- Previous message: John Morrison: "Re: Clashing of local variable names and symbolic inputs to procedures"
- Messages sorted by: [ date ] [ thread ]
Date: Thu, 02 Sep 2004 05:44:42 GMT
We are very happy to announce the availability of PPL 0.6.1, the
latest release of the Parma Polyhedra Library, a modern library for
the manipulation of convex polyhedra especially targeted at static
analysis and verification of complex software and hardware systems.
The main focus of this release is on complete support for powersets of
polyhedra. This includes the customizable framework for the
definition of widening operators we have proposed at this year's VMCAI
conference. Then there is support for summary dimensions as proposed
by Denis Gopan and colleagues in their TACAS 2004 paper. We have
started adding demo programs to the library. One of them, `ppl_lcdd',
is actually useful and is competitive with similar programs available
out there. Many other improvements have been performed: documentation,
performance, portability and the configuration machinery have all been
improved. A handful of bugfixes complete the picture.
For more information, visit the PPL web site at
The PPL development team:
Roberto Bagnara <bagnara@cs.unipr.it>
Patricia M. Hill <hill@comp.leeds.ac.uk>
Enea Zaffanella <zaffanella@cs.unipr.it>
-- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it
- Previous message: John Morrison: "Re: Clashing of local variable names and symbolic inputs to procedures"
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|
