%0 Conference Proceedings
%F jeannet99
%A Jeannet, B.
%A Halbwachs, N.
%A Raymond, P.
%T Dynamic Partitioning in Analyses of Numerical Properties
%B Static Analysis Symposium, SAS'99
%V 1694
%S LNCS
%C Venezia (Italy)
%X 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
%U http://www.irisa.fr/prive/bjeannet/sas99.ps.gz
%8 September
%D 1999