Formal specification and verification of a coordination protocol for an automated air traffic control system.
Yang ZhaoKristin Yvonne RozierPublished in: Sci. Comput. Program. (2014)
Keyphrases
- formal specification
- protocol specification
- model checker
- control system
- air traffic
- model checking
- civil aviation
- air traffic control
- formal methods
- specification languages
- concurrent systems
- specification language
- object oriented design
- communication protocols
- free flight
- cooperative
- formal verification
- process algebra
- temporal logic
- air traffic management
- reverse engineering
- fuzzy logic
- multi agent systems
- cryptographic protocols
- real time
- software components
- information sharing
- multiagent systems