Formal verification of ACAS X, an industrial airborne collision avoidance system

@INPROCEEDINGS{DBLP:conf/emsoft/JeanninGKGSZP15,
	pdf = {pub/acasx-industrial.pdf},

  author    = {Jean{-}Baptiste Jeannin and
               Khalil Ghorbal and
               Yanni Kouskoulas and
               Ryan Gardner and
               Aurora Schmidt and
               Erik Zawadzki and
               Andr{\'e} Platzer},
  title     = {Formal Verification of {ACAS X},
               an Industrial Airborne Collision Avoidance System},
  booktitle = {EMSOFT},
  year      = {2015},
  pages     = {127-136},
  doi       = {10.1109/EMSOFT.2015.7318268},
  editor    = {Alain Girault and
               Nan Guan},
  longbooktitle = {2015 International Conference on Embedded
               Software, {EMSOFT} 2015, Amsterdam, The
               Netherlands, October 4-9, 2015},
  publisher = {IEEE Press},
}```