Lit­er­at­ur

Literatur zur Einführung:

[1] J. M. Wing, A Specifier's Introduction to Formal Methods. IEEE, Computer, 23(9):8-24, September 1990.

[2] E. Clarke and J. Wing, Formal Methods: State of the Art and Future Directions, CMU Computer Science Technical Report CMU-CS-96-178, August 1996, erschienen in: ACM Computing Surveys, 28(4):626-643, 1996.

Literatur zu Petrinetzen:

[1] W. Reisig, Petrinetze - Eine Einführung. Springer Verlag, 1985.

[2] B. Baumgarten, Petri-Netze - Grundlagen und Anwendungen. BI Wissenschaftsverlag, 1990.

[3] Webseite Petri Nets World.

Literatur zu CCS:

[1] R. Milner, Communication and Concurrency, Prentice Hall, 1989.

Literatur zu Timed Automata:

[1] R. Alur, D. Dill: A Theory of Timed Automata. Theoretical Computer Science 126, p. 183 - 235, 1994.

[2] E.-R. Olderog, H. Dierks. Real-time Systems - Formal Specification and Automatic Verification. Cambridge University Press.

Literatur zu Z und Object-Z:

[1] J. M. Spivey, Z Reference Manual.

[2] J. Woodcock, J. Davies, Using Z - Specification, Refinement, and Proof. Prentice Hall, 1996.

[3] R. Duke, G. Rose. Formal Object-oriented Specification using Object-Z. MacMillan, 2000.

[4] G. Smith. The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, 2000.

[5] J. Derrick, E. Boiten. Refinement in Z and Object-Z. Foundations and Advanced Applications. Springer Verlag, 2001.

[6] Webseite zu Object-Z von G. Smith.