Loop variant
description: decreasing function used to proof termination of a loop
description: monoton fallende Funktion, die benutzt werden kann, um zu beweisen, dass eine Schleife terminiert @de
subject: Category:Formal methods
subject: Category:Control flow
hypernym: Function