1: \begin{abstract} 

2:   Static analysis by abstract interpretation aims at automatically

3:   proving properties of computer programs. To do this, an

4:   over-approximation of program semantics, defined as the least

5:   fixpoint of a system of semantic equations, must be computed. To

6:   enforce the convergence of this computation, widening operator is

7:   used but it may lead to coarse results. We propose a new method to

8:   accelerate the computation of this fixpoint by using standard

9:   techniques of numerical analysis. Our goal is to automatically and

10:   dynamically adapt the widening operator in order to maintain

11:   precision.

12:   \\

13: 

14:   \noindent\textit{Keywords:} Abstract numerical domains, acceleration of

15:   convergence, widening operator.

16: \end{abstract}

17: