Problem obliczeniowy do wykonywalnych programów komputerowych, takich jak analiza, opracowanie algorytmów i weryfikacja