DIRECTED GRAPH GENERATION DEVICE, DIRECTED GRAPH GENERATION METHOD AND DIRECTED GRAPH GENERATION PROGRAM

摘要

PROBLEM TO BE SOLVED: To provide a directed graph generation device capable of easily performing verification of specification created by using formal methods.;SOLUTION: The directed graph generation device includes: a reading processing section 11 that reads invariant conditions which describes common restrictions to be applied to plural pieces of processing and formal specification description data which includes a piece of processing information describing for each processing; a determination processing section 12 that determines whether the two pieces of processing included in each of the processing pair can be successively carried out by using a combination of two pieces of processing which is made based on the processing included in the formal specification description data read by the reading processing section and the formal specification description data, and when it is determined that the processing pair can be successively carried out, selects the two pieces of processing included in the processing pair as a processing order pair which includes preceding processing and following processing; and a generation processing section 13 that generates a directed graph using the processing order pair selected by the determination processing section.;COPYRIGHT: (C)2014,JPO&INPIT