Dynamic Partitioning in Analyses of Numerical
Properties
Abstract:
We apply linear relation analysis to the verification of declarative
synchronous programs. In this approach, state partitioning plays an
important role: on one hand the precision of the results highly
depends on the fineness of the partitioning; on the other hand, a too
much detailed partitioning may result in an exponential explosion of
the analysis. In this paper, we propose to dynamically select a
suitable partitioning according to the property to be proved.
Reference:
@INPROCEEDINGS{sas99,
AUTHOR = {B. Jeannet and N. Halbwachs and P. Raymond},
TITLE={Dynamic Partitioning in Analyses of Numerical
Properties},
BOOKTITLE={Static Analysis Symposium, SAS'99},
address={Venezia (Italy)},
month = sep,
year=1999
}