source: papers/FDL2012/FDL2012.aux @ 52

Last change on this file since 52 was 52, checked in by cecile, 13 years ago

Decomposition de papier en fichier

File size: 4.5 KB
Line 
1\relax
2\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
3\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
4\global\let\oldcontentsline\contentsline
5\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
6\global\let\oldnewlabel\newlabel
7\gdef\newlabel#1#2{\newlabelxx{#1}#2}
8\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
9\AtEndDocument{\ifx\hyper@anchor\@undefined
10\let\contentsline\oldcontentsline
11\let\newlabel\oldnewlabel
12\fi}
13\fi}
14\global\let\hyper@last\relax
15\gdef\HyperFirstAtBeginDocument#1{#1}
16\providecommand\HyField@AuxAddToFields[1]{}
17\catcode`:\active
18\catcode`;\active
19\catcode`!\active
20\catcode`?\active
21\citation{GrumbergLong91assume_guarantee}
22\citation{HQR98assume_guarantee}
23\select@language{american}
24\@writefile{toc}{\select@language{american}}
25\@writefile{lof}{\select@language{american}}
26\@writefile{lot}{\select@language{american}}
27\@writefile{toc}{\contentsline {section}{\numberline {1} Introduction}{1}{section.1}}
28\@writefile{toc}{\contentsline {subsection}{\numberline {1.1} Related Works}{1}{subsection.1.1}}
29\citation{GrafSaidi97abstract_construct}
30\citation{clarke00cegar}
31\citation{XieBrowne03composition_soft}
32\citation{PMT02compositional_MC}
33\citation{SNBE06property_based}
34\citation{microsoft04SLAM}
35\citation{berkeley07BLAST}
36\citation{Kroening_al07vcegar}
37\citation{pwk2009-date}
38\citation{Kunz_al11ipc_abs}
39\citation{braunstein07ctl_abstraction}
40\citation{bara08abs_composant}
41\citation{clarke00cegar}
42\citation{braunstein07ctl_abstraction}
43\@writefile{toc}{\contentsline {section}{\numberline {2} Our Framework}{2}{section.2}}
44\@writefile{toc}{\contentsline {subsection}{\numberline {2.1} Overall Description of our methodology}{2}{subsection.2.1}}
45\citation{braunstein07ctl_abstraction}
46\citation{bara08abs_composant}
47\citation{ucberkeley96vis}
48\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces  Verification Process }}{3}{figure.1}}
49\newlabel{cegar}{{1}{3}{Verification Process\relax }{figure.1}{}}
50\@writefile{toc}{\contentsline {subsection}{\numberline {2.2} Definition of the abstraction of a component and of the complete system}{3}{subsection.2.2}}
51\@writefile{toc}{\contentsline {subsection}{\numberline {2.3} Characterization of AKS}{4}{subsection.2.3}}
52\@writefile{toc}{\contentsline {section}{\numberline {3} Abstraction Generation and Refinement}{4}{section.3}}
53\@writefile{toc}{\contentsline {subsection}{\numberline {3.1} Generalities}{4}{subsection.3.1}}
54\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.1.1} Refinement}{4}{subsubsection.3.1.1}}
55\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.1.2} The Counterexample}{4}{subsubsection.3.1.2}}
56\@writefile{toc}{\contentsline {subsection}{\numberline {3.2} Pre-processing and pertinency ordering of properties}{5}{subsection.3.2}}
57\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces  Example of weighting}}{6}{figure.2}}
58\newlabel{DepGraphWeight}{{2}{6}{Example of weighting\relax }{figure.2}{}}
59\@writefile{toc}{\contentsline {subsection}{\numberline {3.3} Initial abstraction generation}{6}{subsection.3.3}}
60\@writefile{toc}{\contentsline {subsection}{\numberline {3.4} Abstraction refinement}{6}{subsection.3.4}}
61\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces  Kripke Structure of counterexample $\sigma _i$, $K(\sigma _i)$}}{6}{figure.3}}
62\newlabel{AKSNegCex}{{3}{6}{Kripke Structure of counterexample $\sigma _i$, $K(\sigma _i)$\relax }{figure.3}{}}
63\bibstyle{IEEEbib}
64\bibdata{myBib}
65\bibcite{GrumbergLong91assume_guarantee}{1}
66\bibcite{HQR98assume_guarantee}{2}
67\bibcite{GrafSaidi97abstract_construct}{3}
68\bibcite{clarke00cegar}{4}
69\bibcite{XieBrowne03composition_soft}{5}
70\bibcite{PMT02compositional_MC}{6}
71\bibcite{SNBE06property_based}{7}
72\bibcite{microsoft04SLAM}{8}
73\bibcite{berkeley07BLAST}{9}
74\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces  Kripke Structure of counterexample $\sigma _i$, $K(\sigma _i)$}}{7}{figure.4}}
75\newlabel{AKSNegCex}{{4}{7}{Kripke Structure of counterexample $\sigma _i$, $K(\sigma _i)$\relax }{figure.4}{}}
76\@writefile{toc}{\contentsline {section}{\numberline {4} Experimental results}{7}{section.4}}
77\@writefile{toc}{\contentsline {section}{\numberline {5} Conclusion and Future Works}{7}{section.5}}
78\@writefile{toc}{\contentsline {section}{\numberline {6} References}{7}{section.6}}
79\bibcite{Kroening_al07vcegar}{10}
80\bibcite{pwk2009-date}{11}
81\bibcite{Kunz_al11ipc_abs}{12}
82\bibcite{braunstein07ctl_abstraction}{13}
83\bibcite{bara08abs_composant}{14}
84\bibcite{ucberkeley96vis}{15}
Note: See TracBrowser for help on using the repository browser.