Changeset 93 for papers/FDL2012/FDL2012.tex

Timestamp:

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

Author:

syed

Message:

/papers/FDL2012/

File:

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

papers/FDL2012/FDL2012.tex

@@ -33 +33 @@
 
 
- \title{ An efficient refinement strategy exploiting components' properties in a CEGAR process}
+ \title{ An efficient refinement strategy exploiting component properties in a CEGAR process}
 % \name{Syed Hussein S. ALWI, C\'{e}cile BRAUNSTEIN and Emmanuelle ENCRENAZ}
 % \thanks{This work was supported by...}}
@@ -96 +96 @@
 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 is probably due to an uncomplete
+eliminating the counterexample which is probably due to an incomplete
 specification or a counterexample that should be eliminated by the product of
 local properties. In this case, other refinement techniques such as the
@@ -102 +102 @@
 good set of local properties to be integreted simultaneously, should be considered. 
 We are currently investigating other complementary techniques to overcome these particular cases.
-A complementary approach consists in oimproving the specification of the
+A complementary approach consists in improving the specification of the
 model~: at the component level, or for groups of components. The work of
 Kroening \cite{pwk2009-date} could help us in this direction.