Changeset 64 for papers/FDL2012/FDL2012.tex

Timestamp:

Mar 14, 2012, 1:43:13 PM (13 years ago)

Author:

syed

Message:

/papers/FDL2012/

File:

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

papers/FDL2012/FDL2012.tex

@@ -29 +29 @@
 \newcommand{\remark}[2]{\textcolor{blue}{#1: #2}}
 
-\graphicspath{{schema/}}
 
  \title{ Compositional System Verification: Exploiting components' verified properties in the abstraction-refinement process}
@@ -74 +73 @@
 \section{Experimental results}
 
- Work in progress... \\
+ \input{exp_results}
 
 
@@ -85 +84 @@
 We have presented a new strategy in the abstraction generation and refinement which is well adapted for compositional embedded systems. This verification technique is compatible and suits well in the natural development process of complex systems. Our preliminary experimental results shows an interesting performance in terms duration of abstraction generation and the number of refinement iteration. Futhermore, this technique enables us to overcome repetitive counterexamples due to the presence of cycles in the system's graph.
 
-Nevertheless, in order to function well, this refinement technique requires a complete specification of every components of the concrete model. Furthermore, it may be possible that none of the properties available is capable of eliminating the counterexample which probably due to the fact that the specification is not complete or counterexample given is provoked by the composition of components. In this case, other refinement techniques such as the refinement by eliminating the counterexample only techniques should be considered. We are currently investigating other complementary techniques to overcome these particular cases.
+Nevertheless, in order to function well, this refinement technique requires a complete specification of every components of the concrete model. Futhermore, it may be possible that none of the properties available is capable of eliminating the counterexample which probably due to the fact that the specification is not complete or counterexample given is provoqued by the composition of components. In this case, other refinement techniques such as the refinement by eliminating the counterexample only techniques should be considered. We are currently investigating other complementary techniques to overcome these particular cases.
 
 
@@ -100 +99 @@
 
 
-\end{document}
+\end{document}