1. A method comprising: building a first vehicle model for a real world vehicle based on vehicle parameter data describing a set of vehicle parameters that describe the real world vehicle, wherein a subset of vehicle parameters included in the set of vehicle parameters are included in a set of candidate parameters for parametric modification; performing a reachability analysis to determine whether the first vehicle model satisfies each hard constraint included in a set of hard constraints, wherein the set of hard constraints are requirements that are satisfied for substantially all situations where the real world vehicle is being used for its intended purpose; determining, based on the reachability analysis, that the first vehicle model does not satisfy each hard constraint included in the set of hard constraints for all the situations where the real world vehicle is being used for its intended purpose; analyzing, by a processor, the set of candidate parameters for parametric modification to identify a set of options for modifying one or more of the vehicle parameters included in the set of vehicle parameters; and generating a modified vehicle model that satisfies each hard constraint included in the set of hard constraints for all the situations where the real world vehicle is being used for its intended purpose.