Changeset 89 for papers/FDL2012/introduction.tex

Timestamp:

Apr 6, 2012, 4:44:06 PM (13 years ago)

Author:

cecile

Message:

corrections typos and co

File:

• papers/FDL2012/introduction.tex (modified) (1 diff)

papers/FDL2012/introduction.tex

@@ -39 +39 @@
 
 
-In 2007, a method to build abstractions of components into AKS (Abstract Kripke Structure), based on the set of the properties (CTL) each component verifies \cite{braunstein07ctl_abstraction}. The method is actually a tentative to associate compositional and abstraction-refinement verification techniques. The generations of AKS from CTL formula have been successfully automated \cite{bara08abs_composant}. These work will be the base of the techniques in this paper.
+In 2007, a method to build abstractions of components into AKS (Abstract
+Kripke Structure), based on the set of the properties (CTL) each component
+verifies \cite{braunstein07ctl_abstraction}. The method is actually a
+tentative to associate compositional and abstraction-refinement verification
+techniques. The generations of AKS from CTL formula have been successfully
+automated \cite{bara08abs_composant}. This work will be the base of the techniques in this paper.