une version de plus

[hdrcouchot.git] / talk / preuveconvmotiv.tex

diff --git a/talk/preuveconvmotiv.tex b/talk/preuveconvmotiv.tex
index b3e38d438c226bb5957d622fa5f72b507c1a143e..f6540e9668086a44d72a9c2a2c02e970b5033bfe 100644 (file)
--- a/talk/preuveconvmotiv.tex
+++ b/talk/preuveconvmotiv.tex
@@ -1,16 +1,16 @@
 
 \begin{itemize}
 \item Conditions suffisantes de convergence: facile à appliquer, 
 
 \begin{itemize}
 \item Conditions suffisantes de convergence: facile à appliquer, 

-  domaine restreint
-\item Recherche d'une métrique decroissante minorée: difficile
+  domaine restreint.
+\item Recherche d'une métrique decroissante minorée: difficile.

 \item Simulations:  
 \begin{itemize}
 \item Non exhaustives pour les schémas généralisés et asynchrones.
 \item Verdict $\leftrightarrow$ vérité ssi divergence (contre-exemple).
 \end{itemize}
 \item Simulations:  
 \begin{itemize}
 \item Non exhaustives pour les schémas généralisés et asynchrones.
 \item Verdict $\leftrightarrow$ vérité ssi divergence (contre-exemple).
 \end{itemize}

-\item Souhait: exploiter un outil qui traiterait toutes les transitions 
+\item Souhait: exploiter un outil qui traiterait toutes les transitions.

 \begin{itemize}
 \begin{itemize}

-\item explosion combinatoire: par abstraction,
+\item Explosion combinatoire: par abstraction,

   quotientage, ordre partiel\ldots
 \item Model checker: SPIN~\cite{Hol03}.
 \item Correction et complétude de la démarche.
   quotientage, ordre partiel\ldots
 \item Model checker: SPIN~\cite{Hol03}.
 \item Correction et complétude de la démarche.