Changeset 93 for papers/FDL2012/exp_results.tex

Timestamp:

Apr 10, 2012, 4:30:02 PM (12 years ago)

Author:

syed

Message:

/papers/FDL2012/

File:

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

papers/FDL2012/exp_results.tex

@@ -121 +121 @@
 
 
-In Table \ref{TabVerif}, we compare the execution time and the number of refinment
+In Table \ref{TabVerif}, we compare the execution time and the number of refinement
 between our technique (Prop. Select.), \emph{incremental\_ctl\_verification}
 (Incremental) and the standard model checking (Standard MC) computed using the
@@ -128 +128 @@
 $\phi_1$ is the type $AF((p=1)*AF(q=1))$ and $\phi_2$ is actually a stronger
 version of the same formula with $AG(AF((p=1)*AF(q=1)))$. We have a total of
-26 verifed components properties to be selected in VCI-PI plateform.
+26 verifed components properties to be selected in VCI-PI platform.
 In comparison to $\phi_2$, we can see that, a better set of properties available will result in a better abstraction and less refinement iterations.