Formal Verification of Distributed Aircraft Controllers

A technical report with additional details on the critical steps in the proofs can be found here.

KeYmaeraD can be downloaded from github at https://github.com/keymaerad.
There you can also access the dL files for the BigDisc and SmallDisc controllers,
as well as the proof files for the BigDisc and SmallDisc controllers.