Verificación de tiempo de ejecución