| 摘要 |
<P>PROBLEM TO BE SOLVED: To provide an automatic theorem certification device in which possibility of success in certification of a software specification is improved. <P>SOLUTION: The automatic theorem certification device comprises a processor and a storage unit, stores a certification procedure corresponding to a syntax rule of a language to which the software specification belongs and a language in the storage unit, specifies the language to which the software specification belongs by performing a syntax analysis of the software specification using the syntax rule at a time of certification of the software specification, determines a certification procedure for certifying the software specification from the language to which the software specification belongs, and certifies the software specification based on the certification procedure. <P>COPYRIGHT: (C)2012,JPO&INPIT |
