The software uses a loop with a control flow condition based on a value that is updated within the body of the loop.