1. A model verification system comprising: 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 part to generate formal language expression data of a derivative design.