Formal Verification of Distributed Aircraft Controllers Download pdf Tags: CPS education differential dynamic logic formal verification hybrid programs sequent calculus Theorem Proving Carnegie Mellon University CPS Domains Transportation Avionics Foundations Validation and Verification 2014 2014 CPS-ECP Poster Academia Poster Submissions Posters License: CC-2.5 Submitted by Sarah Loos on Fri, 05/16/2014 - 16:25