Verify Virtual Machines in eXR