Changeset 101 for papers/FDL2012/framework.tex

Timestamp:

Jul 19, 2012, 11:44:48 AM (12 years ago)

Author:

syed

Message:

final

File:

• papers/FDL2012/framework.tex (modified) (2 diffs)

papers/FDL2012/framework.tex

@@ -1 +1 @@
 The model-checking technique we propose is based on the Counterexample-guided
 Abstraction Refinement (CEGAR) methodology \cite{clarke00cegar}. The overall
-description of our methodology is shown in figure \ref{cegar}.
+description of our methodology is shown in Figure \ref{cegar}.
 We take into account the structure of the system as a set of synchronous components,
 each of which has been previously verified and a set of CTL properties is
@@ -211 +211 @@
 \end{itemize}
 \vspace*{-2mm}
-By property \ref{prop:concrete}, $\widehat{M}_{i+1}$ is more concrete than
+By Property \ref{prop:concrete}, $\widehat{M}_{i+1}$ is more concrete than
 $\widehat{M}_i$ and by
 the property of parallel composition,