Connecting Safety Verification with Implementable Hybrid Programs

  • CPS education
  • differential dynamic logic
  • formal verification
  • hybrid programs
  • sequent calculus
  • Theorem Proving
  • Carnegie Mellon University
  • CPS Domains
  • CPS Technologies
  • Education
  • Foundations
  • 2014
  • 2014 CPS-ECP
  • Publications
  • Position Paper
  • Academia
  • CFP Paper Submissions
  • CFP Submissions
Submitted by Sarah Loos on