Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
2014 NSF Early Career Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems
Home
Program Agenda
5-Minute Presentations
Poster Submissions
CFP Submissions
Workshop Attendees
Final Registrants List
Final Presenters' Bios
Files
CPS-VO
»
2014 NSF Early Career Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems
Connecting Safety Verification with Implementable Hybrid Programs
View
Properties
Submitted by sloos@cs.cmu.edu on Wed, 02/12/2014 - 3:59pm. Contributor:
Sarah M. Loos
License:
Creative Commons 2.5
Other available formats:
Connecting Safety Verification with Implementable Hybrid Programs
Switch to normal viewer
Switch to experimental viewer
PDF document
71.87 KB
57 downloads
Download
PDF version
Printer-friendly version
CPS Domains
CPS Technologies
Education
Foundations
CPS education
differential dynamic logic
formal verification
hybrid programs
sequent calculus
Theorem Proving
Carnegie Mellon University
2014 CPS-ECP
2014
Academia
Position Paper
Publications
CFP Paper Submissions
CFP Submissions