Connecting Safety Verification with Implementable Hybrid Programs Download pdf Tags: 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 License: CC-2.5 Submitted by Sarah Loos on Wed, 02/12/2014 - 14:59