Technology The Use of Formal Methods on the iFACTS Air Traffic Control Project

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…