To solve the problems of the high development cost of power grid safety and control system and difficult verification of the correctness of control logic, based on the idea of model-driven architecture, this paper proposes a modeling method for power grid safety and control strategy system. In order to verify the correctness of the control logic, a corresponding verification method is proposed in this paper with the help of the model checking tool SPIN, and the effectiveness of the method is proved by experiments with concrete examples.