15. A method of air traffic management, the method comprising: predicting, by a processor, trajectories of at least two aircraft, comprising for each prediction: reading data providing a description of aircraft intent expressed using a formal language, the data provided by: receiving information defining how the at least two aircraft are to be flown during an operation interval, and storing the information in an information database; deriving a set of instructions from the information stored, wherein the set of instructions comprise configuration instructions that describe an aerodynamic configuration of the at least two aircraft and motion instructions that control motions of the at least two aircraft, wherein the aerodynamic configuration comprises a physical configuration of at least one of a high lift device, a landing gear, and a speed brake of each of the at least two aircrafts; confirming, by the processor, that the set of instructions comply with a set of rules stored in a rules database, that the configuration instructions define the aerodynamic configuration of the at least two aircraft and that the motion instructions close degrees of freedom of equations of motion used to describe the aircraft motion of the at least two aircraft during the operation interval; and expressing the set of instructions using the formal language; solving, by the processor, equations of motion defining the aircraft motion using the data and with reference to an aircraft performance model and an Earth model; comparing, by the processor, the at least two predicted trajectories to identify potential conflicts; and managing, by the processor, air traffic, including the at least two aircraft, using the at least two predicted trajectories.
15. A method of air traffic management, the method comprising: predicting, by a processor, trajectories of at least two aircraft, comprising for each prediction: reading data providing a description of aircraft intent expressed using a formal language, the data provided by: receiving information defining how the at least two aircraft are to be flown during an operation interval, and storing the information in an information database; deriving a set of instructions from the information stored, wherein the set of instructions comprise configuration instructions that describe an aerodynamic configuration of the at least two aircraft and motion instructions that control motions of the at least two aircraft, wherein the aerodynamic configuration comprises a physical configuration of at least one of a high lift device, a landing gear, and a speed brake of each of the at least two aircrafts; confirming, by the processor, that the set of instructions comply with a set of rules stored in a rules database, that the configuration instructions define the aerodynamic configuration of the at least two aircraft and that the motion instructions close degrees of freedom of equations of motion used to describe the aircraft motion of the at least two aircraft during the operation interval; and expressing the set of instructions using the formal language; solving, by the processor, equations of motion defining the aircraft motion using the data and with reference to an aircraft performance model and an Earth model; comparing, by the processor, the at least two predicted trajectories to identify potential conflicts; and managing, by the processor, air traffic, including the at least two aircraft, using the at least two predicted trajectories. 16. The method of claim 15 , further comprising resolving conflicts by advising aircraft of necessary changes to their aircraft intent.