On August 25th, The Third Research and Seminar on Shift2Rail Innovation Initiative was held in the multifunctional area of Traffic Control Technology Headquarters Building. The theme of this seminar is the application of formal methods in the rail transit industry, aiming to popularize the theory of formal methods and discuss how to use formal methods to carry out future work.

    The speaker Wang Xia introduced what is the formal method, the advantages of the formal method, and how to use the formal method. And she analyzed the key content of formal support tools, software design phase of formal methods, and design architecture based on formal methods. During the interactive communication session, members of the expert group and on-site audience conducted in-depth exchanges on the advantages of formal tools, costs, and the application and promotion of formal methods.