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


parent c433c54f
......@@ -240,7 +240,7 @@ LTLSPEC G ( y=4 -> X y=6 )
\section{Model Checking mit FDR4}
\begin{frame}[fragile]{Model Checking mit FDR4}
\begin{lstlisting}[numbers=left,stepnumber=1,firstnumber=1,numberfirstline=true, label={list:refinement_ex}]
channel a, b, c
......@@ -267,7 +267,7 @@ assert S0 [T= M0
\begin{frame}[fragile]{CSP-Code einer Weiche unvst.}
MARKED_P(id, s0, s1, s2) = -> P_LOCKED_STR(id, s0, s1, s2)
......@@ -285,7 +285,7 @@ rail.s0 -> P_LOCKED_STR_OCC_FROM_LEFT(id, s0, s1, s2)
\begin{frame}[fragile]{Gefundene Fehler}
STOP [T= SYSTEM_38 \ diff(Events, {|crash, derailing|}):
......@@ -309,7 +309,7 @@ STOP [T= SYSTEM_38 \ diff(Events, {|crash, derailing|}):
\item Fehlerhafte Weichenstellungen in den Routen \textbf{38}, \textbf{39}, \textbf{40}, \textbf{78}
\item Fehler im Sub-Controller hinsichtlich Mutexe
\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)
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