Research Article
Towards Sophisticated Air Traffic Control System Using Formal Methods
| CONSTANTS BAG SIGMA AVERAGE_LD | | AXIOMS axm1: BAG = {e·e ∈ ℕ ↛ ℕ ∧ finite(e) ∧ dom(e) = 1 ‥ card(e) ∣ e} axm1: SIGMA ∈ BAG ⟶ ℕ axm2: SIGMA(∅) = 0 axm3: ∀e·e ∈ BAG ∧ e ≠ ∅ ⇒ SIGMA(e) = e(card(e)) + SIGMA({card(e)} e) | | END |
|