Zusicherung: Eine Aussage, die an einer bestimmten Stelle in einem Algorithmus zutrifft.

Beim Beweis der Korrektheit eines Algorithmus benötigt man häufig Zusicherungen, die vor, während und nach der Ausführung einer Schleife zutreffen, die sog. Schleifeninvarainten.