COUNTER EXAMPLE ANALYSIS SUPPORT DEVICE, COUNTER EXAMPLE ANALYSIS SUPPORT SYSTEM, COUNTER EXAMPLE ANALYSIS SUPPORT METHOD THEREFOR, AND PROGRAM

摘要

PPROBLEM TO BE SOLVED: To solve the problem that it is difficult to identify a cause of a failure from one counter example in the verification of a system using a model inspection. PSOLUTION: A plurality of counter examples that are generated are accumulated, and the plurality of the accumulated counter examples are analyzed so that a process that appears in the most counter examples and processing that appears in the most counter examples are output. There is a high possibility that the process or the processing that appears in the most counter examples is the cause of a failure. PCOPYRIGHT: (C)2010,JPO&INPIT