摘要 |
A computer-readable recording medium stores a verification support program that causes a computer to execute a process that includes generating based on design information expressing an object, component information indicating components of the object, the components indicated correspond to a shape to which a design rule concerning positional relation applies and for at least one of the components, a number of vertices of the component is reduced; calculating based on the generated component information, information indicating a positional relation between the components; determining whether the calculated information indicating the positional relation meets a condition prescribed by the design rule; and outputting a determination result. |