Towards Sophisticated Air Traffic Control System Using Formal Methods

<table class="algorithm-group"><tr><td><table class="algorithm" id="alg20"><tr><td colspan="2"> inv7: ∀a,b·a ∈ aircrafts_in_airport ∧ b ∈ aircrafts_in_airport ⇒ distance(locationof(a) ↦ locationof(b)) ≥ Min_distance</td></tr></table></td></tr></table>

Modelling and Simulation in Engineering

alg20

Box 20

Box 20: Towards Sophisticated Air Traffic Control System Using Formal Methods 