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

Weitere Magazine

Empfehlungen

Info

Anzahl der Zustände W (Schritt) Anzahl der Übergänge Anzahl der Durchläufe Getestete Formeln 5 Auswertung von Algorithmen Experiment I Experiment II 10..100(10) 50..300(25) ⌊ W W ⌋ ⌊ 2 2 ⌋ 5 1 EG b, (EX a), E(c U d), E(c R d), EF c, AG b, (AX a), A(c U d), A(c R d), AF c, EG(EG b), AG(AG b), AG(e AND AX a), AG( e AND AX a) Abbildungen 5.10, 5.11, 5.12 5.13 EX a, EX ( a AND a), EG (b OR b), EG (a AND a) Tabelle 5.4: Experimentendaten für den CTL-Algorithmus mit ” großen“ Kripke-Strukturen Abbildung 5.10: Vergleich der Laufzeiten des CTL-Algorithmus: Formeln mit existentiellen Operatoren, 10..100 Zustände 45
5 Auswertung von Algorithmen Abbildung 5.11: Vergleich der Laufzeiten des CTL-Algorithmus: Formeln mit universalen Operatoren, 10..100 Zustände Abbildung 5.12: Vergleich der Laufzeiten des CTL-Algorithmus: Formeln verschiedenes Verschachtellungsgrades, 10..100 Zustände 46
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 47: 5 Auswertung von Algorithmen Abbild
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 und 58: Literaturverzeichnis [Sol09] Soldat

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?