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

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, Andr Platzer

Browse the full EMSOFT paper archive.