From 9f6364c1c4f268043536adf1b675da0994ee268e Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 5 Feb 2014 13:12:50 +0100
Subject: presentation progress

---
 manual/PRESENTATION_ExOth.tex | 51 +++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 51 insertions(+)

(limited to 'manual/PRESENTATION_ExOth.tex')

diff --git a/manual/PRESENTATION_ExOth.tex b/manual/PRESENTATION_ExOth.tex
index 0a65edb9..83bd82e3 100644
--- a/manual/PRESENTATION_ExOth.tex
+++ b/manual/PRESENTATION_ExOth.tex
@@ -5,5 +5,56 @@
 \sectionpage
 \end{frame}
 
+\begin{frame}{Overview}
+This section contains 3 subsections:
+\begin{itemize}
+\item Interactive Design Investigation
+\item Symbolic Model Checking
+\item Reverse Engineering
+\end{itemize}
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{Interactive Design Investigation}
+
+\begin{frame}
+\subsectionpage
+\end{frame}
+
+\subsubsection{TBD}
+
+\begin{frame}{\subsubsecname}
+TBD
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{Symbolic Model Checking}
+
+\begin{frame}
+\subsectionpage
+\end{frame}
+
+\subsubsection{TBD}
+
+\begin{frame}{\subsubsecname}
+TBD
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{Reverse Engineering}
+
+\begin{frame}
+\subsectionpage
+\end{frame}
+
+\subsubsection{TBD}
+
+\begin{frame}{\subsubsecname}
+TBD
+\end{frame}
+
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
-- 
cgit v1.2.3

