Описанная итерация может быть проделана несколько раз по мере добавления диагностических правил и коррекции информации .
Информация считается верифицированной ,
Основные этапы алгоритма верификации ] Описанная итерация может быть проделана несколько раз по мере добавления диагностических правил и коррекции информации .
Информация считается верифицированной , когда все диагностические предикаты пусты .