1. 2. Formal Methods in Air Traffic Control Neil White Copyright © Altran PraxisOpen-DO 3. Agenda A quick introduction What is iFACTS? Formal methods for Specification…