Problema informático para programas informáticos ejecutables como análisis, desarrollo de algoritmos y verificación.