Research Article

Towards Sophisticated Air Traffic Control System Using Formal Methods

Box 14

CONSTANTSBAGSIGMAAVERAGE_LD
AXIOMSaxm1: BAG = {e·e ∈  ∧ finite(e) ∧ dom(e)=1card(e) ∣ e}axm1: SIGMA ∈ BAG ⟶ axm2: SIGMA(∅) = 0axm3: ∀e·e ∈ BAG ∧ e ≠  ⇒ SIGMA(e) = e(card(e)) + SIGMA({card(e)}e)
END