This thesis addresses the optimization of the formal verification process within the Integrated Flight Control System (IFCS) Project, in collaboration with Airbus. The work aimed to analyze existing testing methods and tools, specifically their application within the laboratory environment, for autopilot and flight command functions. The study identified key inefficiencies impacting the efficiency and robustness of the verification process. To handle these, new strategy and guidelines were proposed and discussed, in order to to maximize test productivity and quality of the certification campaign.