%0 Journal Article %F jeannet03a %A Jeannet, B. %T Dynamic Partitioning In Linear Relation Analysis. Application To The Verification Of Reactive Systems %J Formal Methods in System Design %V 23 %N 1 %P 5-37 %I Kluwer %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. The presented approach is quite general and can be applied to other abstract interpretations %8 July %D 2003