Verification of independent quantum devices