Model verification system, model verification method, and recording medium

A model verification system includes a formal language conversion part operable to convert model figure data registered as a design pattern in association with a program into formal language expression data based upon an expression format of a predetermined formal language, and a formal language increment part operable to add a modification to a component of the formal language and/or attribute information on the formal language expression data converted by the formal language conversion means to generate formal language expression data of a derivative design. The model verification system conducts refactoring.