Early Verification for Control Systems