Safety Verification of an Aircraft Landing Protocol: A Refinement Approach.
Shinya UmenoNancy A. LynchPublished in: HSCC (2007)
Keyphrases
- formal specification
- protocol specification
- model checker
- model checking
- civil aviation
- formal methods
- air traffic
- safety critical
- formal verification
- temporal logic
- formal analysis
- neural network
- air traffic control
- air force
- query refinement
- cryptographic protocols
- colored petri nets
- safety analysis
- refinement process
- crew scheduling
- petri net