1. A computer-readable storage medium encoded with a design verification program which, when executed by a computer, causes the computer to perform an operation, the operation comprising: selecting, in response to a verification request for a procedure described in a design specification of a target product, one or more verification datasets for verifying the procedure; determining a priority score of each parameter that the selected verification datasets specify as a constraint on the procedure; determining a verification order of the selected verification datasets, based on the determined priority scores of the parameters; and producing data identifying the verification datasets, together with indication of the determined verification order.