Changeset 61

Timestamp:

Mar 13, 2012, 11:56:46 AM (13 years ago)

Author:

cecile

Message:

typos

Location:

papers/FDL2012

Files:

• FDL2012.tex (modified) (1 diff)
• framework.tex (modified) (1 diff)

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}

papers/FDL2012/framework.tex

@@ -96 +96 @@
 
 \begin{definition}
-Give a CTL$\setminus$X property $\varphi$ whose set of atomic propositions is
-$\widehat{AP}$, An \emph{Abstract Kripke Structure}, \\ $AKS(\varphi) =(AP, \widehat{S}, \widehat{S}_0, \widehat{L}, \widehat{R}, \widehat{F})$ is a 6-tuple consisting of :
+Given a CTL$\setminus$X property $\varphi$ whose set of atomic propositions is
+$AP$, An \emph{Abstract Kripke Structure}, $AKS(\varphi) =(AP, \widehat{S}, \widehat{S}_0, \widehat{L}, \widehat{R}, \widehat{F})$ is a 6-tuple consisting of:
 
 \begin{itemize}