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

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