Verifying Dependencies