Verificación por el método estocástico de Perron en problemas de control de tiempo de salida estocástico