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

Weitere Magazine

Empfehlungen

Info

Erklärung Hiermit versichere ich, dass ich die vorliegende Arbeit und die zugehörige Implementierung selbständig verfasst und dabei nur die angegebenen Quellen und Hilfsmittel verwendet habe. Hannover, 26. Oktober 2009 Julia Gerock
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 und 56: Tabellenverzeichnis 2.1 Temporale O
Seite 57: Literaturverzeichnis [Sol09] Soldat
Alle anzeigen

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

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?