A train traffic control inspection device includes an information acquiring unit configured to acquire railroad topology information indicating a configuration of a railroad network in which a plurality of blocks are connected and which includes one or more branches, travel path information specifying a path of a train which travels in the railroad network on a combination of one or more routes for each train, route setting information in which conditions to be satisfied when a route request for reserving a path on which a train will travel is given are defined for each route, and interlock system operation information in which safe operation logics of the interlock system are defined.