Towards Sophisticated Air Traffic Control System Using Formal Methods

<table class="algorithm-group"><tr><td><table class="algorithm" id="alg3"><tr><td> </td><td>INITIALIZATION</td></tr><tr><td> </td><td>BEGIN act1: curr_RW_status ≔ available act2: curr_RWL_status ≔ OFF act3: aircrafts_in_airport ≔ ∅ act4: statusof  ≔ ∅</td></tr><tr><td> </td><td>END</td></tr></table></td></tr></table>

Modelling and Simulation in Engineering

alg3

Box 3

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