Verificación de máquinas virtuales en eXR