1. A computer-readable storage medium storing a program for verifying an accuracy for model parameters computation, wherein the program causes the computer to perform: reading a model represented by difference equations from a storage apparatus; computing difference equations that use numeric values of a time-series by replacing variables of the model with numeric values of a time-series that are stored in the storage apparatus; determining ranges of parameters of the model by applying a quantifier elimination method to the constraints, that is, the results of above computation; and verifying numbers of significant figures that show a computation accuracy of model parameters by the determined ranges of parameters of the model.