Effizientes Model-Checking für CTL - Institut für Theoretische ...

Weitere Magazine

Empfehlungen

Info

Literaturverzeichnis [AHU74] Aho, A. V., J. E. Hopcroft und J. D. Ullmann: The Design and Analysis of Computer Algorithms. Addison-Wesley Publishing Company, London, England, 1974. [AUH82] Aho, A. V., J. D. Ullman und J. E. Hopcroft: Data Structures and Algorithms. Addison Wesley Pub Co Inc, 1982. [BMT + ] Beyersdorff, O., A. Meier, M. Thomas, H. Vollmer, M. Mundhenk und T. Schneider: Model Checking for CTL Fragments Made Efficiently Parallel. Unveröffentlichte, vorläufige Version von [BMT + 09]. [BMT + 09] Beyersdorff, O., A. Meier, M. Thomas, H. Vollmer, M. Mundhenk und T. Schneider: Model Checking CTL is Almost Always Inherently Sequential. Proc. of the 16th International Symposium on Temporal Representation and Reasoning, IEEE Computer Society Press, 2009. http://www.thi.uni-hannover.de/fileadmin/forschung/ publikationen/daten/be-me-mu-sc-th-vo-09.pdf. [CES86] Clarke, E., A. E. Emerson und A. Systla: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 1986. [CGP99] Clarke, E. M., O. Grumberg und D. A. Peled: Model Checking. The MIT Press, Cambridge, Massachusetts, London, England, 1999. [EL87] Emerson, A. E. und C.-L. Lei: Modalities for model checking: Branching time logic strikes back. Science of Computer Programming, 1987. [Har02] Hartmann, A.: Ein grafisches Werkzeug zur Unterstützung von Model- Checking-Prozessen. Diplomarbeit, Universität Rostock, Fachbereich Informatik, 2002. http://www.cocooncenter.org/index/thesis_hartmann. pdf. [Sch] Schwoon, S.: Model-Checking. http://www.fmi.uni-stuttgart.de/szs/ teaching/ss2004/modelchecking/modelchecking.pdf. [Sch02] Schnoebelen, P.: The complexity of temporal logic model Checking. Advances in Modal Logic, 2002. 53
Literaturverzeichnis [Sol09] Soldatova, M.: Effizientes Model-Checking für CTL*. Diplomarbeit, Universität Hannover, 2009. http://www.thi.uni-hannover.de/fileadmin/ forschung/arbeiten/soldatova-da.pdf. 54
Seite 1 und 2:
Effizientes Model-Checking für CTL
Seite 3 und 4:
Inhaltsverzeichnis 1 Einführung 1
Seite 5 und 6: 1.2 Gliederung 1 Einführung In der
Seite 7 und 8: 2 Theoretische Grundlagen In der Sp
Seite 9 und 10: 2 Theoretische Grundlagen Operator
Seite 11 und 12: Definition 2.3.3 (Pfad-Formel) •
Seite 13 und 14: 2 Theoretische Grundlagen Abbildung
Seite 15 und 16: 2.5 Komplexitätstheorie 2 Theoreti
Seite 17 und 18: 3 Model-Checking für CTL Definitio
Seite 19 und 20: 3 Model-Checking für CTL 1. φ ∈
Seite 21 und 22: 3 Model-Checking für CTL Abschnitt
Seite 23 und 24: 3 Model-Checking für CTL Bei der I
Seite 25 und 26: 4 Design und Implementierung Abbild
Seite 27 und 28: State FormulaCTLpos ModelCheckingCT
Seite 29 und 30: 4 Design und Implementierung Die ei
Seite 31 und 32: a a a,b a,b a a b a,b Kripke-Strukt
Seite 33 und 34: 4 Design und Implementierung visual
Seite 35 und 36: 4 Design und Implementierung Abbild
Seite 37 und 38: 4 Design und Implementierung Um den
Seite 39 und 40: 5 Auswertung von Algorithmen Ziel d
Seite 41 und 42: 5 Auswertung von Algorithmen In man
Seite 43 und 44: 5 Auswertung von Algorithmen Abbild
Seite 45 und 46: 5 Auswertung von Algorithmen Die Ab
Seite 51 und 52: 6 Zusammenfassung und Ausblick Die
Seite 53 und 54: Abbildungsverzeichnis 2.1 Speisende
Seite 55: Tabellenverzeichnis 2.1 Temporale O
Alle anzeigen

Effizientes Model-Checking für CTL - Institut für Theoretische ...

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?