Permalink
Browse files

[presentation] Remove first slide and adapt title of second one

  • Loading branch information...
1 parent c18a0ce commit f810e4eded8d31db63d2a7e96b9e260efe482e73 @jspam jspam committed Mar 27, 2012
Showing with 26 additions and 26 deletions.
  1. +26 −26 abschluss/presentation.tex
View
@@ -56,34 +56,34 @@
\maketitle
\end{frame}
-\begin{frame}[fragile]
- \frametitle{Was machen wir?}
-
- \begin{itemize}
- \item \textbf{Programmverifikation:} Formaler Beweis, dass ein Programm seine Spezifikation erfüllt.
- \item Wichtig z.~B. für sicherheitskritische Systeme
- \item Unterstützt durch Software (Formel-Generierung, Beweistools)
- \end{itemize}
-
-
-% \begin{lstlisting}[frame=lines,mathescape=true]
-% function Boolean isEven(Integer i)
-% _ensures _return = true $\Leftrightarrow $ i % 2 = 0
-% {
-% if (i / 2) $ \cdot $ 2 = i {
-% return true
-% } else {
-% return false
-% }
-% }
-% \end{lstlisting}
-
- % \begin{center}$\Rightarrow$ $$\mathtt{\forall i \in \mathbb{N} : (i / 2 \cdot 2 = i \Rightarrow i \% 2 = 0) \wedge (\neg(i / 2 \cdot 2 = i) \Rightarrow \neg(i \% 2 = 0))}$$\end{center}
-
-\end{frame}
+%\begin{frame}[fragile]
+% \frametitle{Was machen wir?}
+%
+% \begin{itemize}
+% \item \textbf{Programmverifikation:} Formaler Beweis, dass ein Programm seine Spezifikation erfüllt.
+% \item Wichtig z.~B. für sicherheitskritische Systeme
+% \item Unterstützt durch Software (Formel-Generierung, Beweistools)
+% \end{itemize}
+%
+%
+%% \begin{lstlisting}[frame=lines,mathescape=true]
+%% function Boolean isEven(Integer i)
+%% _ensures _return = true $\Leftrightarrow $ i % 2 = 0
+%% {
+%% if (i / 2) $ \cdot $ 2 = i {
+%% return true
+%% } else {
+%% return false
+%% }
+%% }
+%% \end{lstlisting}
+%
+% % \begin{center}$\Rightarrow$ $$\mathtt{\forall i \in \mathbb{N} : (i / 2 \cdot 2 = i \Rightarrow i \% 2 = 0) \wedge (\neg(i / 2 \cdot 2 = i) \Rightarrow \neg(i \% 2 = 0))}$$\end{center}
+%
+%\end{frame}
\begin{frame}[fragile]
- \frametitle{Beispiel}
+ \frametitle{Beispiel für eine Programmtransformation}
\begin{onlyenv}<1>
\begin{lstlisting}[frame=lines,mathescape=true]

0 comments on commit f810e4e

Please sign in to comment.