Towards Sophisticated Air Traffic Control System Using Formal Methods

Box 21

	inv1: locationof ∈ AIRCRAFTS ⟶ LOCATIONS
	inv2: distance ∈ LOCATIONS × LOCATIONS ⟶ ℕ