TY  - RPRT
TI  - Verifying the Safety of a Flight-Critical System
AU  - Guillaume Brat
AU  - David Bushnell
AU  - Misty Davies
AU  - Dimitra Giannakopoulou
AU  - Falk Howar
AU  - Temesghen Kahsai
PY  - 2015
UR  - https://arxiv.org/abs/1502.02605
ID  - 1502.02605
ER  -