Combination Methods for Verification Problems