PROBLEM TO BE SOLVED: To provide a technique that enables efficient network verification by restraining the amount of calculation even if a network scale is increased.SOLUTION: A network verification device comprises: a division network information acquisition unit 11 for acquiring information on division networks into which an object network, which is a verification object, is divided according to a type of communication control unit transferred in the object network; a transfer matrix per division network acquisition unit 12 that acquires, per each division network, a physical port of transfer destination switch device and a transfer matrix per division network representing its type, through which physical port of any type of communication control unit passing through each physical port of each switch device included in the division network at any time point will pass at the next time point; and a verification processing unit 13 for verifying the object network in terms of a verification item by performing calculation using the transfer matrix per division network per division network.SELECTED DRAWING: Figure 1
展开▼