Grid code specifications for voltage ride-through (VRT) of power generating units are based on time-domain envelopes of permissible terminal voltage magnitudes. Since an infinite number of voltage trajectories can be inscribed within a given enclosure, verifying that a given apparatus will withstand any such disturbance can be a daunting task. This paper tackles the VRT verification problem for doubly fed induction generator (DFIG)-based wind turbines. To this end, reachability analysis is employed to calculate sets that enclose all possible trajectories of the dynamic states of a DFIG-based system when perturbed by unknown-but-bounded grid voltage disturbances.