Design and verification for flight control system of launch vehicle 并列题名：Design and verification for flight control system of launch vehicle Formal verification of control system software / formal verification of control system software / Design and verification of powerplant system for regional aircraft Design and verification of autoflight and flight management system