Verification for DC