Towards Sophisticated Air Traffic Control System Using Formal Methods

<table class="algorithm-group"><tr><td><table class="algorithm" id="alg16"><tr><td> </td><td><i>Inv 5: aircrafts_in_runway</i> ⊆ <i>aircrafts_in_airport</i></td></tr><tr><td> </td><td><i>Inv 6: aircrafts_in_runway</i> ≠ <i>∅</i> ⇒ <i>curr_RW_status</i> ≔ <i>unavailable</i></td></tr></table></td></tr></table>

Modelling and Simulation in Engineering

alg16

Box 16

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