Denken Sie zuerst an die Invariante, und notieren Sie sie (als Kommentar zu Beginn der Schleife).
Schreiben Sie dann den Schleifenkörper so, daß die behauptete Invariante tatsächlich invariant ist.
Für Sonderformen von Schleifen (do-while, break) ist diese Analyse viel schwieriger, deswegen sollten diese auch nicht ohne besonderen Grund benutzt werden.