摘要 |
<P>PROBLEM TO BE SOLVED: To achieve inspection of design models by decreasing the number of states to be inspected. <P>SOLUTION: A model inspection system inspecting design models with specifications of inspection object systems described therein includes: a relationship specifying means for making a user specify a relationship among state variables that are variables in the models for indicating element states that varies depending on the specifications of the inspection object systems; and a decrease means of the number of states for decreasing the number of states of the systems to be used for inspection on the basis of information showing the relationship among the state variables specified by the user. <P>COPYRIGHT: (C)2009,JPO&INPIT |