Kontrola kolizji, analiza naddatków, weryfikacja czasu i jakości ścieżek. Metody wykrywania błędów przed uruchomieniem programu na maszynie.