source: papers/FDL2012/FDL2012.out @ 49

Last change on this file since 49 was 48, checked in by syed, 13 years ago

/papers/FDL2012
File size: 965 bytes
Line 
1\BOOKMARK [1][-]{section.1}{ Introduction}{}% 1
2\BOOKMARK [2][-]{subsection.1.1}{ Related Works}{section.1}% 2
3\BOOKMARK [1][-]{section.2}{ Our Framework}{}% 3
4\BOOKMARK [2][-]{subsection.2.1}{ AKS generation from CTL Properties}{section.2}% 4
5\BOOKMARK [2][-]{subsection.2.2}{ CEGAR Loop}{section.2}% 5
6\BOOKMARK [1][-]{section.3}{ Abstraction Generation and Refinement}{}% 6
7\BOOKMARK [2][-]{subsection.3.1}{ Generalities}{section.3}% 7
8\BOOKMARK [3][-]{subsubsection.3.1.1}{ Refinement}{subsection.3.1}% 8
9\BOOKMARK [3][-]{subsubsection.3.1.2}{ The Counterexample}{subsection.3.1}% 9
10\BOOKMARK [2][-]{subsection.3.2}{ Pre-processing and pertinency ordering of properties}{section.3}% 10
11\BOOKMARK [2][-]{subsection.3.3}{ Initial abstraction generation}{section.3}% 11
12\BOOKMARK [2][-]{subsection.3.4}{ Abstraction refinement}{section.3}% 12
13\BOOKMARK [1][-]{section.4}{ Experimental results}{}% 13
14\BOOKMARK [1][-]{section.5}{ Conclusion and Future Works}{}% 14
Note: See TracBrowser for help on using the repository browser.