Sign in
Formal Verification for Mode Confusion in the Flight Deck Using Intent-Based Abstraction.
Jayaprakash Suraj Nandiganahalli
Sangjin Lee
Inseok Hwang
Published in:
J. Aerosp. Inf. Syst. (2016)
Keyphrases
</>
formal verification
bounded model checking
model checking
model checker
automated verification
symbolic model checking
high level
space shuttle
flight data
program slicing
open source
civil aviation
temporal logic