Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Home
Archive
Registration
Program
Call for Presentations
Committee
Venue
Past Events
Submit
Files
CPS-VO
»
High Confidence Software and Systems Conference Series
Theme: Evidence
View
Submitted by Katie Dey on Tue, 12/17/2013 - 11:58am
Compiler Verification and Beyond: Verified Tools for High-Assurance Software
Verified Compiler Technology and Separation Logic for Reasoning about Concurrent C Programs
Towards High-Assurance Run-Time Systems
Using the Cambridge ARM Model to Verify the Concrete Machine Code of seL4
Let's Build Secure Systems on a Correct Kernel
Developing Secure Mobile Architectures: The COTS Challenge
Proposed Formal Methods Supplement for RTCA DO 178C
Parametric Verification of Address Space Separation
‹ 2011 HCSS Conference Proceedings
up
Compiler Verification and Beyond: Verified Tools for High-Assurance Software ›
Printer-friendly version
Theme: Evidence