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