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', 'Khalil Ghorbal', 'Yanni Kouskoulas', 'Ryan Gardner', 'Aurora Schmidt', 'Erik Zawadzki', 'André 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', 'Nan Guan']},
	longbooktitle = {2015 International Conference on Embedded
               Software, EMSOFT 2015, Amsterdam, The
               Netherlands, October 4-9, 2015},
	publisher = {IEEE Press}
}