Może zostać sprawdzona poprawność każdego elementu macierzy Ke w modelu. Taka weryfikacja nie jest czasochłonna i zalecane jest jej przeprowadzenie przed analizą próbną modelu elementów skończonych. Aby tego dokonać, należy:
Jeśli proces obliczeniowy dojdzie do pierwszej iteracji, oznacza to, że przebiega poprawnie. Po zakończeniu weryfikacji można ręcznie zatrzymać obliczenia.
Gdy weryfikacja zakończy się niepowodzeniem, to podczas przygotowywania uwarunkowań wstępnych EBE wystąpi błąd 3016 i obliczenia zostaną przerwane, zanim rozpocznie się proces iteracji.