Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System.
Yang ZhaoKristin Yvonne RozierPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2012)
Keyphrases
- formal specification
- protocol specification
- model checker
- control system
- air traffic
- model checking
- air traffic control
- civil aviation
- formal methods
- concurrent systems
- process algebra
- specification languages
- object oriented design
- specification language
- temporal logic
- reverse engineering
- air traffic management
- free flight
- formal verification
- multi agent
- fuzzy logic
- multi agent systems
- cooperative
- real time
- asynchronous circuits
- description language
- information sharing
- cryptographic protocols
- grid workflow
- case study