\begin{slide}{Industrielle Anwendungen der CP}

automatische Analyse des Resourcenverbrauchs
von Programmen
    \begin{itemize}
    \item Termination (jede Rechnung hält)
    \item Komplexität (\dots nach $O(n^2)$ Schritten)
    \end{itemize}

mittels \emph{Bewertungen} von Programmzuständen:

\begin{itemize}
\item $W : \text{Zustandsmenge} \to \NN$
\item wenn $z_1 \to z_2$, dann $W(z_1)>W(z_2)$.
\end{itemize}

Parameter der Bewertung werden durch
Constraint-System beschrieben.

\end{slide}
