Effizientes Model-Checking für CTL - Institut für Theoretische ...
Effizientes Model-Checking für CTL - Institut für Theoretische ...
Effizientes Model-Checking für CTL - Institut für Theoretische ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Abbildungsverzeichnis<br />
5.10 Vergleich der Laufzeiten des <strong>CTL</strong>-Algorithmus: Formeln mit existentiellen<br />
Operatoren, 10..100 Zustände . . . . . . . . . . . . . . . . . . . . . . . . . . 45<br />
5.11 Vergleich der Laufzeiten des <strong>CTL</strong>-Algorithmus: Formeln mit universalen<br />
Operatoren, 10..100 Zustände . . . . . . . . . . . . . . . . . . . . . . . . . . 46<br />
5.12 Vergleich der Laufzeiten des <strong>CTL</strong>-Algorithmus: Formeln verschiedenes Verschachtellungsgrades,<br />
10..100 Zustände . . . . . . . . . . . . . . . . . . . . . 46<br />
5.13 Vergleich der Laufzeiten des <strong>CTL</strong>-Algorithmus: EX- und EG-Formeln,<br />
50..300 Zustände . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47<br />
51