New paper on convex polyhedra widenings

Wed, 02/26/2003 - 19:10

Precise Widening Operators for Convex Polyhedra embarks on the challenging task of improving on the standard widening. The paper describes a framework for the systematic definition of widenings that are more precise than the standard one. An instance of the framework is the “BHRZ03” widening, already available in the CVS version and part of the forthcoming PPL 0.5.
A shorter version will be presented at SAS'03, the 10th Annual International Static Analysis Symposium.

We are a passionate team of experts. Do not hesitate to let us have your feedback:
You may be surprised to discover just how much your suggestions matter to us.