Modellierung WS 2010/11 - Folie 453

Ziele:
Beispiel für eine Algorithmenverifikation
in der Vorlesung:
Hier nur ersten Eindruck vermitteln.
Später Erläuterungen
- zur Konstruktionsidee,
- zur Rolle der Schleifeninvarianten,
- zur Anwendung der Alternativenregel,
- zu Anwendungen der Zuweisungsregel
- zum Terminierungsnachweis
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 25.08.2010