Commit a9b4a302 authored by Felix Brüning's avatar Felix Brüning
Browse files

hotfix

parent d162d95a
......@@ -77,7 +77,7 @@ Patrick Wilde}
\caption{Fahrplan eines Zuges}
\end{figure}
\begin{itemize}
\item Züge fungieren als Güter- oder Passagierzug
\item Züge fungieren als Güter- oder Passagierzüge
\item Güterzüge suchen sich ein zufälliges Ziel auf dem Gleisnetz
\item Passagierzüge fahren Ziele nach einem festgelegten Fahrplan ab
\item Passagierzüge müssen sich an Zeiten aus dem Fahrplan halten:
......@@ -128,7 +128,7 @@ Patrick Wilde}
\end{figure}
\end{frame}
\section{Modelchecking mit nuXmv}
\section{Model Checking mit nuXmv}
\begin{frame}[fragile]{nuXmv}
\begin{lstlisting}[caption = {nuXmv Beispiel}, label = {lst:nuxmv}]
MODULE main
......@@ -211,7 +211,7 @@ LTLSPEC G ( y=4 -> X y=6 )
\begin{itemize}
\item Refinement Checker
\item nutzt $CSP_M$ als Modellierungssprache
\item von der Universität Oxford
\item Projekt der Universität Oxford
\end{itemize}
\end{minipage}
\hfill
......@@ -391,7 +391,7 @@ STOP [T= SYSTEM_38 \ diff(Events, {|crash, derailing|}):
\begin{minipage}{0.35\textwidth}
\begin{itemize}
\item Fehlerhafte Weichenstellungen in den Routen \textbf{38}, \textbf{39}, \textbf{40}, \textbf{78}
\item Fehler im Sub-Controller aufgedeckt: Es war zuvor möglich, dass zwei sub-controller eine Route sperren (bzw. dass Weichen zwei mal gestellt werden)
\item Fehler im Sub-Controller aufgedeckt: Es war zuvor möglich, dass zwei sub-controller eine Route sperren (bzw., dass Weichen zwei mal gestellt werden)
\end{itemize}
\end{minipage}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment