Verification of Arms Reductions