SYSTEM AND METHOD FOR VERIFYING CONTROL LOGIC DESIGN OF NUCLEAR POWER PLANT

A system and method for verifying the control logic design of a nuclear power plant. The system comprises a client computer (10), a control logic design verification data storage server (11) and a data structure decomposition server (12), wherein the client computer (10) is respectively in communication connection with the control logic design verification data storage server (11) and the data structure decomposition server (12) by means of a network (14); the client computer (10) is used for installing a control logic design verification main program, and sending and executing all requests and actions during a control logic design verification process; the control logic design verification data storage server (11) comprises control logic design verification data; the data structure decomposition server (12) is used for loading the control logic design verification data from the control logic design verification data storage server (11), and parsing the control logic design verification data; and the control logic design verification main program performs data verification on the parsed control logic design verification data. By means of the method, automation of control logic design verification can be realized, thereby reducing the cost of labor and the human error rate.