Przełącza cyklicznie pomiędzy wszystkimi operacjami i konfiguracjami modelu w poszukiwaniu wygaszonych części.
W przypadku Wygaszonych komponentów

i Wygaszonych operacji

:
- Weryfikacja jest niepomyślna tylko wtedy, gdy warunek istnieje we wszystkich konfiguracjach.
- Ustawienie poziomu Krytyczności jest jedynym elementem interfejsu użytkownika.