Abstract de la publi numéro 12238

One of the important steps in processing the worst case execution time (WCET) of a program is to determine the loops upper bounds. Such bounds are crucial when verifying real-time systems. In a previous paper we have presented our loop bound evaluation method oRange based on three steps: normalization of loops, building expression of the bounds, applying the context to the expression. This paper presents some extensions of the first step (normalization), in particular to resolve some multi-increment of loop variable and some cases where the increment variable is initially undefined.