[PPL-devel] ppl/tests/Polyhedron Makefile.am boundedbhrz03 ...
roberto at cs.unipr.it
Sat Mar 5 14:11:17 CET 2005
Module name: ppl
Changes by: roberto at cs.unipr.it 2005-03-05 14:11:16
A new, very interesting, test program showing an analysis of linear
invariants divided into phases: a first propagation phase (without
widening), followed by a widening phase employing the "widening up to"
technique and further preserving interval constraints. Notice that
neither the H79 nor the BHRZ03 limited extrapolations (used as
widenings here) allow to obtain the desired postfixpoint for this
example (since they lose the crucial constraint `k <= 1'). Both the
H79 and the BHRZ03 bounded extrapolation operators do achieve this
More information about the PPL-devel