Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
sequent calculus
file
Formal Verification of Distributed Aircraft Controllers
Submitted by sloos@cs.cmu.edu on Fri, 05/16/2014 - 5:25pm. Contributors:
Sarah M. Loos
David Renshaw
Andre Platzer
CPS Domains
Avionics
Transportation
Validation and Verification
Foundations
CPS education
differential dynamic logic
formal verification
hybrid programs
sequent calculus
Theorem Proving
Carnegie Mellon University
2014 CPS-ECP
2014
Academia
Poster
Poster Submissions
Posters
file
Connecting Safety Verification with Implementable Hybrid Programs
Submitted by sloos@cs.cmu.edu on Wed, 02/12/2014 - 4:59pm. Contributor:
Sarah M. Loos
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