Formal Verification of Distributed Aircraft Controllers

  • 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
Submitted by Sarah Loos on