Literatur
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.