Verification of Parametric System Designs