Vorlesung Modellierung WS 2001/2002 - Folie Nr. 317a

Nächste Folie

Vorherige Seite Zur Übersicht Nächste Seite | Folien 309-319 als PDF

Ziele:
Terminierungsnachweis üben

in der Vorlesung:

  • 1 und 2 durch geeignete Invariante begründen
  • 3 wird nicht versucht, zu entscheiden