Dlaczego tak
Weryfikacja polega na odczytaniu zawartości pamięci programu i porównaniu jej bajt po bajcie z plikiem, który miał zostać zapisany – wykrywa to błędy zapisu, np. przez zakłócenia lub zbyt długi przewód programatora. Ponowny zapis niczego nie potwierdza, a jedynie zużywa cykle zapisu pamięci. Sprawdzenie działania wyjść to osobny test funkcjonalny, wykonywany po weryfikacji.