Автоматизована верифікація бази знань виконується після виконання чергових етапів чи на останньому. При цьому очевидно, що найбільш небезпечні помилки можуть виникнути саме на початкових кроках формування знань. Альтернативою може служити рівнобіжне наповненню тестування бази знань, на всіх етапах, що відслідковує можливі порушення.