\begin{slide}{Klassifikation}

\begin{itemize}
\item
  Testen ($=$ Fehler erkennen)
  \begin{itemize}
  \item
    statisch (z. B. Inspektion)
  \item
    dynamisch (Programm-Ausf�hrung)
  \end{itemize}
\item
  Verifizieren ($=$ Korrektheit beweisen)
  \begin{itemize}
  \item
    Verifizieren
  \item
    symbolisches Ausf�hren
  \end{itemize}
\item
  Analysieren ($=$ Eigenschaften vermessen/darstellen)
\end{itemize}

\end{slide}



