Digital reactor control system is a typical real-time hybrid system involving the physical dynamic evolu-tion process of reactor against time and the discrete control process of computer .Differential dynamic logic is a new theory for hybrid system verification .A new method to construct safety verification model of digital reactor control system based on differential dynamic logic was put forward , so as to verify whether the interaction between discrete logic control in reactor control system and the physical continuous change process of reactor continuity can guarantee the safety requiremen...