Virtuele machines verifiëren in eXR