Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan Gardner, Aurora Schmidt, Erik Zawadzki, André Platzer. Formal verification of ACAS X, an industrial airborne collision avoidance system. In 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015. pages 127-136, IEEE, 2015. [doi]
Abstract is missing.