. . "Moreover, provided are a method, system, and program for performing reactive configuration checking of a network." . .