Formalized verification method for verifying complex logic of automatic flight system

The invention provides a formalized verification method for verifying complex logic of an automatic flight system. The method comprises the following steps: step 1, constructing a formalized verification test sample according to complex logic requirements of the automatic flight system; and 2, operating the formalized verification test sample by adopting a specified formalized verification tool based on the logic model of the automatic flight system, and generating a formalized verification detection report for indicating the consistency of the logic model and the logic requirement of the automatic flight system. According to the technical scheme provided by the embodiment of the invention, the problems that the verification scheme has the defects of insufficient coverage rate, large verification workload and the like and does not have the capability of ensuring the design safety of the complex logic system due to the fact that the verification method depends on the design of the test case by a designer when