Changeset 101 for papers/FDL2012/exp_results.tex

Timestamp:

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

Author:

syed

Message:

final

File:

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

papers/FDL2012/exp_results.tex

@@ -13 +13 @@
 \begin{table*} [ht]
 \hspace*{15mm}
-\small
+%\small
+\footnotesize
 \begin{tabular}{cclcccc}
 
@@ -46 +47 @@
 \bottomrule  
 %\bottomrule
-
 \end{tabular}
-
 \caption{\label{StatsPlatform} Statistics on the VCI-PI and CAN Bus platform}
 \end{table*}
@@ -128 +127 @@
 $\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 platform.
+26 verified components properties to be selected in the 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.  
 
@@ -139 +138 @@
 to verify both global properties without refinement.
 
-Globally, we can see that our technique systematically computes faster than the other two methods and interestingly in the case where the size of the platform increases by adding  more connected components, in contrary to the other two methods, our computation time remains stable.
+Globally, we can see that our technique, for these examples, systematically computes faster than the other two methods and interestingly in the case where the size of the platform increases by adding  more connected components, in contrary to the other two methods, our computation time remains stable. This is mainly due to the fact that for small number of properties, our abstraction is generated almost instantly and as only pertinent properties are selected, not many refinement iterations are required in order to complete the verification process. It is also important to note that the properties tested are simple and we have in our property selection list the local properties required to satisfy the global property.