Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm.
André Luiz GaldinoCésar A. MuñozMauricio Ayala-RincónPublished in: WoLLIC (2007)
Keyphrases
- conflict resolution
- formal verification
- recovery algorithm
- air traffic
- model checking
- resolve conflicts
- automated verification
- resolving conflicts
- access control policies
- bounded model checking
- civil aviation
- symbolic model checking
- model checker
- collaborative design
- formal specification
- optimal design
- multiresolution