Grundlagen

  1. ein Skript zu Aussagen- und Prädikatenlogik, Beweisen, Mengen und Relationen findet sich hier

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.

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.

CCS:

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

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.

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.

News zur Vor­le­sung

Keine Vorlesung am 21.04.2016!

Mehr erfahren

Die erste Vorlesung findet am Donnerstag, den 14.04.16 statt.

Mehr erfahren

In der ersten Vorlesungswoche finden keine Übungsgruppen statt.

Mehr erfahren